Login / Signup

A bounded model checking tool for periodic sample-hold systems.

Gabor SimkoEthan K. Jackson
Published in: HSCC (2014)
Keyphrases
  • bounded model checking
  • expert systems
  • intelligent systems
  • learning systems
  • artificial intelligence
  • domain specific
  • distributed systems
  • complex systems
  • model checking
  • software components