D Detlefs, G Nelson, JB Saxe - Journal of the ACM (JACM), 2005 - dl.acm.org
This article provides a detailed description of the automatic theorem prover Simplify, which is
the proof engine of the Extended Static Checkers ESC/Java and ESC/Modula-3. Simplify …