Login / Signup

Applying Formal Verification to an Open-Source Real-Time Operating System.

Andrew ButterfieldFrédéric Tuong
Published in: Theories of Programming and Formal Methods (2023)
Keyphrases
  • formal verification
  • open source
  • model checking
  • model checker
  • symbolic model checking
  • bounded model checking
  • open source software
  • temporal logic
  • automated verification
  • case study
  • source code
  • multi agent systems