Search or ask a question
Pricing
Login
Sign up
Home
Notebook
BETA
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
View figures gallery
Fig. 7:SA : Comparison of execution times. Where applicable, all times include times for both the partial and model-checking passes.
...read more
Content maybe subject to copyright
Journal Article
•
DOI
•
Exploiting resolution proofs to speed up LTL vacuity detection for BMC
[...]
Jocelyn Simmonds
1
,
Jessica Davies
1
,
Arie Gurfinkel
2
,
Marsha Chechik
1
•
Institutions (2)
University of Toronto
1
,
Software Engineering Institute
2
01 Sep 2010
-
International Journal on Software Tools for Technology Transfer