Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction.

Cristina Cerschi Seceleanu

Published in: COMPSAC (2011)

Keyphrases

formal methods
success stories
case study
knowledge based systems
formal analysis
safety critical
artificial intelligence
objective function
software development
computational model
complex systems
model checking
reverse engineering
formal specification
engineering problems