Login / Signup
Prototyping Formal Methods Tools: A Protocol Analysis Case Study.
Abigail Siegel
Mia Santomauro
Tristan Dyer
Tim Nelson
Shriram Krishnamurthi
Published in:
Protocols, Strands, and Logic (2021)
Keyphrases
</>
formal methods
formal analysis
case study
model checker
provably correct
database
artificial intelligence
multi agent
software engineering
security properties