research
∙
07/07/2019
Reproducible Execution of POSIX Programs with DiOS
In this paper, we describe DiOS, a lightweight model operating system wh...
share
research
∙
05/31/2018
From Model Checking to Runtime Verification and Back
We describe a novel approach for adapting an existing software model che...
research
∙
05/31/2018
Symbolic Computation via Program Transformation
Symbolic computation is an important approach in automated program analy...
research
∙
11/20/2017
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking
In semi-symbolic (control-explicit data-symbolic) model checking the sta...
research
∙
06/10/2016