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

Deductive verification of real-time systems using STeP.

Nikolaj BjørnerZohar MannaHenny SipmaTomás E. Uribe
Published in: Theor. Comput. Sci. (2001)
Keyphrases
  • architectural model
  • real time systems
  • real time
  • web services
  • embedded systems
  • distributed systems
  • real time embedded
  • real time database systems
  • timing constraints
  • mission critical
  • embedded real time systems