Login / Signup

Modeling and Formal Verification of Production Automation Systems.

Jürgen RufRoland J. WeissThomas KropfWolfgang Rosenstiel
Published in: SoftSpez Final Report (2004)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • model checker
  • bounded model checking
  • neural network
  • data sets
  • artificial intelligence
  • state space
  • domain specific
  • production cost
  • functional verification