Reducing communication in distributed model checking by Fourie, Jean Francois

Subjects: “…Model checking…”
Get full text

Business process modelling using model checking and the theory of constraints by Odendaal, Maghiel Jock

Subjects: “…Model checking…”
Get full text

A comparison of two different model checking techniques by Bull, J. J. D

Subjects: “…Model checking…”
Get full text

Specification and verification of systems using model checking and Markov reward models by Lifson, Farrel

Get full text

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Get full text

Improvement of airline check-in and boarding processes by Corlett, Bradley Michael

Subjects: “…Airline check-in…”
Get full text

Design and evaluation of a formula cache for SMT-based bounded model checking tools by Breytenbach, Jean Anré

Subjects: “…Bounded model checking…”
Get full text

Finite element modelling of cracking in concrete gravity dams

Subjects: “…Crack modeling…”
Get full text
Get full text

Effectiveness of self healing in repair of strategic concrete structures "a simplified model" by Fawzy, Mohamed Hussein

“…The aim of this study is to develop a model that predicts the rate of crack propagation in self-healing concrete and compare it to conventional concrete through a five year period assuming 12 different initial crack areas and also to compare the final cost of using the self-healing concrete versus that of conventional concrete taking factors like cost of repair, type of repair, cost of inspection, cost of disruption and the time value for money in each case into account. …”
Get full text
Get full text

Model for predicting creep of cracked steel fibre reinforced concrete by Pike, Leo Mallett

Subjects: “…Modelling…”
Get full text

Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

Subjects: “…Model checking (Computer science)…”
Get full text

Investigation into cracking in reinforced concrete water-retaining structures by McLeod, Christina Helen

Subjects: “…Crack model…”
Get full text

Examination of flexural crack width prediction in concrete: comparison of analytical and numerical models by Fredericks, Brandon

“…A significant variation in the predicted maximum crack width is observed for deeper members. For very large concrete sections, the analytical models appear to provide unreasonable crack width values. …”
Get full text

Model uncertainty in the prediction of crack widths in reinforced concrete structures and reliability implications by McLeod, Christina Helen

Subjects: “…Concrete crack models…”
Get full text

Fact-checking in the Global South: Facts about non-profit journalism funding models – a case study by Van Wyk, Annamarie

Subjects: “…Fact checking -- Developing countries…”
Get full text

Electronic Speckle Pattern Interferometry (ESPI) NDE of cracks in pressure vessels with FEA modelling by Myles, John Robert

Get full text

Real-time task schedulability analysis via spotlight abstraction

Subjects: “…Model Checking…”
Get full text

An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

Subjects: “…Model checking…”
Get full text

Generic model for predicting the performance of macro-synthetic fibre reinforced concrete for industrial flooring applications by Bester, Hermanus Lambertus

Get full text

Verifying Android applications using Java PathFinder by Botha, Heila-Marié

Subjects: “…Android software -- Model checking…”
Get full text