Login / Signup
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
John McDermid
Andy Galloway
Simon Burton
John A. Clark
Ian Toyn
Nigel J. Tracey
Samuel H. Valentine
Published in:
ICFEM (1998)
Keyphrases
</>
formal methods
formal analysis
model checker
model checking
knowledge based systems
formal specification
small number
provably correct
artificial intelligence
reactive systems
process algebra
connected components
open source
formal specification language
petri net
security properties
temporal properties