Using formal methods to develop a complex information system: a practical/theoretical experience.

César Andrés Rafael G. Aranda Manuel Núñez

Published in: SAC (2008)

Keyphrases

formal methods
information systems
formal analysis
real world
knowledge based systems
artificial intelligence
model checking
safety critical
formal specification
temporal logic
model checker
knowledge acquisition
software engineering
high level
reactive systems
provably correct
theoretical underpinnings