- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Research Articles (Computer Science)
- →
- Browsing Research Articles (Computer Science) by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Now showing items 1-1 of 1
-
Model checking safety and liveness via k-induction and witness refinement with constraint generation (Elsevier, 2020-12)In this article, we revise our constraint-based abstraction refinement technique for checking temporal logic properties of concurrent software systems. Our technique employs predicate abstraction and SAT-based three-valued ...
Now showing items 1-1 of 1