Login / Signup
Automated formal verification for flexible manufacturing systems.
Emanuele Carpanzano
Luca Ferrucci
Dino Mandrioli
Mauro Mazzolini
Angelo Morzenti
Matteo Rossi
Published in:
J. Intell. Manuf. (2014)
Keyphrases
</>
formal verification
flexible manufacturing systems
model checking
manufacturing systems
dynamic scheduling
real time control
model checker
symbolic model checking
automated verification
fully automated
bounded model checking
program slicing
semi automated
artificial intelligence
control system
domain specific