Login / Signup

Well-abstracted transition systems: application to FIFO automata.

Alain FinkelS. Purushothaman IyerGrégoire Sutre
Published in: Inf. Comput. (2003)
Keyphrases
  • transition systems
  • finite state
  • knowledge base
  • search space
  • object oriented
  • domain specific
  • model checking
  • temporal logic
  • practical reasoning