Simulation and verifcation software for superconducting electronic Circuits by Delport, Johannes Arnoldus

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

Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

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

A language to support verification of embedded software by Swart, Riaan

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

An algebraic framework for reasoning about security by Rajaona, Solofomampionona Fortunat

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

A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

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

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

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

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

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

Investigating the non-termination of affine loops by Durant, Kevin

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

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

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