Login / Signup

A specification idiom for reactive systems.

Nigamanth SridharJason O. Hallstrom
Published in: ICSE Companion (2009)
Keyphrases
  • reactive systems
  • model checking
  • temporal logic
  • information flow
  • petri net
  • transition systems
  • control flow
  • state machines
  • formal methods
  • real time systems
  • real time
  • database
  • case study
  • database systems