UPSpace Home
→
University of Pretoria: Research Output
→
Research Articles (University of Pretoria)
→
Browsing Research Articles (University of Pretoria) by UP Author

Browsing Research Articles (University of Pretoria) by UP Author "Nxumalo, Madoda"

Now showing items 1-1 of 1

Model checking safety and liveness via k-induction and witness refinement with constraint generation

Timm, Nils; Gruner, Stefan; Nxumalo, Madoda; Botha, Josua (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

Search UPSpace

Browse

All of UPSpace
This Collection
- Issue Date
- Authors
- Titles
- Subjects
- Supervisor
- UP Author
- UP Postgraduate
- Type

My Account

UPSpace Workspace