Login / Signup

A survey of formal verification methods and tools for embedded and real-time systems.

Albert Mo Kim Cheng
Published in: Int. J. Embed. Syst. (2006)
Keyphrases
  • real time systems
  • formal verification
  • embedded systems
  • high level
  • dynamic programming