Login / Signup

Towards a Notion of Unsatisfiable Cores for LTL.

Viktor Schuppan
Published in: FSEN (2009)
Keyphrases
  • unsatisfiable cores
  • temporal logic
  • model checking
  • hidden structure
  • max sat
  • genetic algorithm
  • domain specific