• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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