- 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.
Browsing Research Articles (Computer Science) by Subject "Liveness"
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