Finding Glitches Using Formal Methods.

Yan Peng Ian W. Jones Mark R. Greenstreet

Published in: ASYNC (2016)

Keyphrases

formal methods
formal specification
formal analysis
knowledge based systems
model checking
safety critical
software engineering
artificial intelligence
model checker
temporal properties
knowledge representation
modeling language
security properties
development lifecycle