Login / Signup
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
Stephan Flake
Wolfgang Müller
Ulrich Pape
Jürgen Ruf
Published in:
SoftSpez Final Report (2004)
Keyphrases
</>
formal verification
temporal properties
model checking
temporal logic
formal specification
model checker
automated verification
symbolic model checking
formal methods
bounded model checking
program slicing
linear temporal logic
artificial intelligence
planning domains