>_ Anil Madhavapeddy@avsm/
  • About
  • Projects
  • Ideas
  • Papers
  • Notes
  • Talks
  • Network
  • Links
Subscribe
AtomfullJSON Feedfull
AtompermaJSON Feedperma
>_ Anil Madhavapeddy
About
ProjectsIdeas
PapersNotesTalks
NetworkLinks
>_
3 on this site · 0 links
On this siterelevancedate3
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009#dsl#formal-methods#model-checking#protocolsSPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions1st Aug 2005#formal-methods#model-checking#protocols#verificationOn the challenge of delivering high-performance, dependable, model-checked internet servers1st Jun 2005#formal-methods#model-checking#protocols#systems
Narrowfilter these results
2000
2009

© 1998–2026 Anil Madhavapeddy.

{} md