Login / Signup

A Really Abstract Concurrent Model and its Temporal Logic.

Howard BarringerRuurd KuiperAmir Pnueli
Published in: POPL (1986)
Keyphrases
  • temporal logic
  • model checking
  • verification method
  • reactive systems
  • temporal properties