Article ID Journal Published Year Pages File Type
6874846 Journal of Logical and Algebraic Methods in Programming 2018 11 Pages PDF
Abstract
We demonstrate the effectiveness of our approach through the exhaustive verification of several programs from the MPICH3 test suite and through the partial termination analysis of some applications from the Competition on Software Verification (SV-COMP).
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
System-level state equality detection for the formal dynamic verification of legacy distributed applications
Authors
, , ,