• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Zohar MannaNikolaj BjørnerAnca BrowneMichael ColónBernd FinkbeinerMark C. PichoraHenny B. SipmaTomás E. Uribe
Published in: Tool Support for System Specification, Development and Verification (1998)
Keyphrases
  • reactive systems
  • model checking
  • formal methods
  • temporal logic
  • post processing
  • real time
  • information flow
  • petri net
  • real time systems
  • verification method
  • object oriented
  • state machines
  • concurrent systems