Login / Signup
Formal verification: is it real enough?
Yaron Wolfsthal
Rebecca M. Gott
Published in:
DAC (2005)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
symbolic model checking
bounded model checking
real world
real life
database
information systems
real time
real valued
formal specification