Login / Signup

An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract).

Krzysztof R. AptCarole Delporte
Published in: ICALP (1983)
Keyphrases
  • extended abstract
  • temporal logic
  • dynamic programming
  • model checking
  • verification method
  • regular expressions
  • model checker