Login / Signup
Formal verification - prove it or pitch it.
Rajesh K. Gupta
Shishpal Rawat
Sandeep K. Shukla
Brian Bailey
Daniel K. Beece
Masahiro Fujita
Carl Pixley
John O'Leary
Fabio Somenzi
Published in:
DAC (2003)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
reinforcement learning
artificial intelligence
decision problems
temporal logic
formal specification
functional verification