WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe.

Published in: WIFT (1998)

Keyphrases

formal methods
working group
formal analysis
safety critical
model checking
model checker
formal specification
knowledge based systems
artificial intelligence
software engineering
process algebra
database
natural language
temporal logic
modeling language
development lifecycle