Login / Signup

A Fully Abstract Model for Graph-Interpreted Temporal Logic.

Fabio GadducciReiko HeckelManuel Koch
Published in: TAGT (1998)
Keyphrases
  • temporal logic
  • domain specific
  • model checking
  • verification method
  • search space
  • transition systems