Login / Signup

Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.

Mark LawfordJeff McDougallPeter FroebelGreg Moum
Published in: AMAST (2000)
Keyphrases
  • practical application
  • safety critical
  • formal methods
  • safety analysis
  • real time
  • embedded systems
  • artificial intelligence
  • software engineering
  • distributed systems
  • model checking
  • agent architecture