Parallel assignments in software model checking
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations. We begin with an introduction to modern software verification systems. Specifically, we review the method in which software abstractions are b...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2006
|
| Subjects: |