Analyzing Oscillatory Behavior with Formal Methods.

Alexandr Andreychenko Thilo Krüger David Spieler

Published in: ROCKS (2012)

Keyphrases

formal methods
formal analysis
knowledge based systems
formal specification
provably correct
safety critical
model checker
process algebra
model checking
artificial intelligence
temporal properties
modeling language
formal specification language
reactive systems
multi agent
case study
data mining