Formal methods and standards.

Published in: ACM SIGSOFT Softw. Eng. Notes (1994)

Keyphrases

formal methods
formal analysis
model checker
safety critical
process algebra
software engineering
formal specification
formal specification language
artificial intelligence
model checking
knowledge based systems
web services
metadata
case study
reactive systems
temporal properties
modeling language
petri net
iso iec