Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.