6 on this site · 0 links
Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads1st Sep 2024
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015
Raft Refloated: Do We Have Consensus?1st Jan 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