Login / Signup

On the formal verification of routing in material handling systems.

Thomas KlotzNorman SeßlerBernd StraubeEva FordranKarsten TurekJens Schönherr
Published in: CASE (2012)
Keyphrases
  • formal verification
  • material handling
  • automated verification
  • image processing
  • complex systems
  • model checking
  • production line
  • model checker
  • bounded model checking
  • cyclic scheduling