Login / Signup
Secret Ninja Formal Methods.
Joseph R. Kiniry
Daniel M. Zimmerman
Published in:
FM (2008)
Keyphrases
</>
formal methods
formal analysis
model checker
model checking
provably correct
formal specification
artificial intelligence
knowledge based systems
secret sharing scheme
software engineering
temporal properties
secret key
modeling language
safety critical
information systems
reactive systems
temporal logic
software architecture
process algebra
formal specification language