Workshop paper on temporal automata for protocol specifications at SPIN 2005
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy, Dave Scott and Richard Sharp. Paper in the model Checking Software. URL (link.springer.com) DOI BIB PDF
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, Dave Scott and Richard Sharp.
Paper in the model Checking Software.
URL (link.springer.com) DOI BIB PDF
Anil Madhavapeddy, Professor of Planetary Computing
papers