Login / Signup
Towards Automated Bounded Model Checking of API Implementations.
Daniel Neville
Andrew J. Malton
Martin Brain
Daniel Kroening
Published in:
CSTVA@ISSTA (2016)
Keyphrases
</>
bounded model checking
formal verification
model checking
temporal logic
semi automated
linear temporal logic
efficient implementation
high level
fully automated
automated analysis
website
state space
third party