Upgrade of Highly Available Systems: Formal Methods at the Rescue.

Oussama Jebbar Ferhat Khendek Maria Toeroe

Published in: IRI (2017)

Keyphrases

formal methods
safety critical
knowledge based systems
formal specification
formal analysis
model checker
provably correct
process algebra
software engineering
model checking
life cycle
temporal properties
development lifecycle
information systems
fault tolerant
reactive systems