Browsing Technical Reports (Computer Science) by Subject "Model Checking, Bounded Model Checking, Theorem, Proof"
- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Technical Reports (Computer Science)
- →
- Browsing Technical Reports (Computer Science) by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Technical Reports (Computer Science) by Subject "Model Checking, Bounded Model Checking, Theorem, Proof"
Now showing items 1-1 of 1
-
(Department of Computer Science: University of Pretoria, 2018-08-01)In this Technical Report we provide the proof to Theorem 1 which appears in our forthcoming article "Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement", to appear in the journal: Science of ...
Now showing items 1-1 of 1