Login / Signup

Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems.

Georges MorbéChristian MillerChristoph SchollBernd Becker
Published in: Haifa Verification Conference (2014)
Keyphrases
  • symbolic model checking
  • safety analysis
  • expert systems
  • machine learning
  • domain specific