Login / Signup

Source-Level Transformations for Improved Formal Verification.

Brian D. WintersAlan J. Hu
Published in: ICCD (2000)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • levels of abstraction
  • automated verification
  • symbolic model checking
  • model checker
  • case study
  • higher level