The challenges in using theorem proving for verification of parallel systems are to achieve adequate automation, and to allow human guidance to be expressed in terms of the system under examination rather than the mechanisms of the prover. This paper provides an overview of techniques that address these challenges.
CITATION STYLE
Rushby, J. (2001). Theorem Proving for Verification (pp. 39–57). https://doi.org/10.1007/3-540-45510-8_2
Mendeley helps you to discover research relevant for your work.