92
Voted
ENTCS
2006
15 years 2 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.