J. Alan Robinson과 Andrei Voronkov가 편집한 자동화된 추론 핸드북은 설문조사입니다. 도구에 대한 짧은 설문조사에서 많은 도구에 대해 언급했으며, 형식적 방법 프레임워크 보고서에는 많은 도구가 요약되어 있습니다. DACS의 공식적 방법 문헌 목록은 오래되었지만 주요 작품에 초점을 맞추고 있습니다.

The Handbook of Automated Reasoning Edited by J. Alan Robinson and Andrei Voronkov is a survey. A short survey of tools commented on many tools, and the Formal Methods Framework report summarizes many tools. DACS list of formal methods literature is old, but its nicely focused on key works.