Old Web
English
Sign In
Acemap
>
Paper
>
Towards Automated Bounded Model Checking of API Implementations.
Towards Automated Bounded Model Checking of API Implementations.
2016
Daniel Neville
Andrew Malton
Martin Brain
Daniel Kroening
Keywords:
Theoretical computer science
Implementation
Model checking
Automated proof checking
Bounded function
Computer science
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
1
Citations
NaN
KQI
[]