Login / Signup
Efficient SAT-based Bounded Model Checking for Software Verification.
Pranav Ashar
Malay K. Ganai
Aarti Gupta
Franjo Ivancic
Zijiang Yang
Published in:
ISoLA (Preliminary proceedings) (2004)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
general purpose
domain specific
answer set programming