Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods.

Dines Bjørner Larry E. Druffel

Published in: ICSE (1990)

Keyphrases

formal methods
formal analysis
knowledge based systems
model checker
formal specification
process algebra
safety critical
model checking
artificial intelligence
provably correct
industrial applications
temporal properties
software engineering
case study
reactive systems
modeling language
real world