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
