An algebraic framework for reasoning about privacy by Rajaona, Solofomampionona Forunat

Subjects: “…Program verification…”
Get full text

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

Subjects: “…Program verification…”
Get full text

Reducing communication in distributed model checking by Fourie, Jean Francois

Subjects: “…Program verification…”
Get full text

Distributed binary decision diagrams by Fasan, Mary Oluwasola

Subjects: “…Program verification…”
Get full text

A survey of proof systems for CSP by Van Zijl, Lynette

Subjects: “…Computer programs -- Verification…”
Get full text

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

Subjects: “…Computer programs -- Verification…”
Get full text

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

Subjects: “…Computer programs -- Verification…”
Get full text

A model checker for the LF system by Gerber, Erick D. B.

Subjects: “…Computer programs -- Verification…”
Get full text