Login / Signup

Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.

Roberto SebastianiStefano TonettaMoshe Y. Vardi
Published in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
  • hybrid approaches
  • symbolic model checking
  • model checking
  • symbolic representation
  • temporal logic
  • safety analysis
  • artificial intelligence
  • expert systems
  • binary decision diagrams