Formal methods in industry: achievements, problems, future.

Jean-Raymond Abrial

Published in: ICSE (2006)

Keyphrases

formal methods
machine learning
artificial intelligence
information systems
software engineering
optimization problems
black box
formal specification
case study
knowledge based systems
model checking