2 papers
cs.OS2019
Reproducible Execution of POSIX Programs with DiOS
Petr Ročkai, Zuzana Baranová, Jan Mrázek +2
In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: run…
cs.PL2017
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking
Jan Mrázek, Martin Jonáš, Jiří Barnat
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vec…