Practically Applicable Formal Methods.

Jedrzej Fulara Krzysztof Jakubczyk

Published in: SOFSEM (2010)

Keyphrases

formal methods
knowledge based systems
formal analysis
formal specification
artificial intelligence
safety critical
process algebra
provably correct
model checking
software engineering
model checker
modeling language
temporal properties
case study
data model
security properties
high level