Login / Signup

Formal Verification of a Reader-Writer Lock Implementation in C.

Mark A. HillebrandDirk Leinenbach
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • efficient implementation
  • formal specification
  • automated verification
  • expert systems
  • specification language
  • symbolic model checking