Login / Signup
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.
Phillip James
Markus Roggenbach
Published in:
Math. Comput. Sci. (2014)
Keyphrases
</>
formal methods
model checking
formal specification language
data sets
formal analysis
knowledge based systems
optimal solution
safety critical
process algebra
database
formal specification
artificial intelligence
provably correct
knowledge acquisition
open source
temporal logic
agent architecture
model checker