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