Sciweavers

ENTCS
2006

Parallel Assignments in Software Model Checking

13 years 11 months ago
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.
Murray Stokely, Sagar Chaki, Joël Ouaknine
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Murray Stokely, Sagar Chaki, Joël Ouaknine
Comments (0)