Search Results - "Model checking (Computer science)" :: FRELIP Discovery

Search alternatives:

"Model checking Computer science " »
- "Model cracking Computer science " (Expand Search)

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

Published 2018
Subjects: “…Model checking (Computer science)…”

Get full text

Full Text Available
Access Full Text at Repository
Thesis

Standalone Record Save to List
Saved in:
Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

Published 2021
Subjects: “…Model checking (Computer science)…”

Get full text

Full Text Available
Access Full Text at Repository
Thesis

Standalone Record Save to List
Saved in: