Login / Signup
Proving More Properties with Bounded Model Checking.
Mohammad Awedh
Fabio Somenzi
Published in:
CAV (2004)
Keyphrases
</>
bounded model checking
model checking
formal verification
linear temporal logic
neural network
temporal logic
structural properties
topological properties
information systems
website
multiscale