Comparing Formal Verification Approaches of Interlocking Systems.

Anne Elisabeth Haxthausen Hoang Nga Nguyen Markus Roggenbach

Published in: RSSRail (2016)

Keyphrases

formal verification
automated verification
management system
intelligent systems
model checking
machine learning
knowledge base
multi agent systems
knowledge based systems
learning systems
retrieval systems
commercial products