Sign in

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.

Gourinath BandaJohn P. Gallagher
Published in: LPAR (Dakar) (2010)
Keyphrases
  • temporal logic
  • model checking
  • formal specification language
  • conceptual model
  • modal logic
  • knowledge based systems
  • conceptual design
  • verification method
  • concurrent systems
  • automata theoretic