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

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

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

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

Validation of a microkernel : a case study by De Villiers, Pieter Jan Albertus

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

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

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

Reducing communication in distributed model checking by Fourie, Jean Francois

Subjects: “…Model checking…”
Get full text