Login / Signup

Prototyping Formal Methods Tools: A Protocol Analysis Case Study.

Abigail SiegelMia SantomauroTristan DyerTim NelsonShriram 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