4 on this site · 0 links
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions1st Aug 2005
On the challenge of delivering high-performance, dependable, model-checked internet servers1st Jun 2005