UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Technical Reports (Computer Science)
→
Browsing Technical Reports (Computer Science) by UP Author

Browsing Technical Reports (Computer Science) by UP Author "Timm, Nils"

Now showing items 1-1 of 1

Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS

Timm, Nils; Gruner, Stefan (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

Search UPSpace

Browse

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

My Account

UPSpace Workspace