Quantitative Analysis of an Application of Formal Methods.

Juan Bicarregui Jeremy Dick Eoin Woods

Published in: FME (1996)

Keyphrases

formal methods
quantitative analysis
qualitative analysis
formal analysis
model checker
qualitative and quantitative analysis

model checking
artificial intelligence
knowledge based systems
safety critical
qualitative evaluation

formal specification
software engineering
process algebra
provably correct
formal specification language

modeling language
security properties
temporal logic
knowledge acquisition
machine learning