Login / Signup
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.
Phillip James
Markus Roggenbach
Published in:
CoRR (2014)
Keyphrases
</>
formal methods
model checking
formal specification language
formal analysis
artificial intelligence
safety critical
optimal solution
general purpose
formal specification
machine learning
knowledge based systems
provably correct
database
distributed systems
heuristic search