Computer-Aided Reasoning: An Approach

By Matt Kaufmann, J. Moore, P. Manolios. 2011

425 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/4664685f64c766c1ba3140c12a891f83a98f32f5

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Sanjit A. Seshia
2. Dorsa Sadigh
3. Josef Urban
4. John Harrison
5. Freek Wiedijk
6. Daniel S. Brown
7. Edouard Leurent
8. Geoffrey Irving

Citations in the corpus

• Towards Verified Artificial Intelligence (2016, background): “[38, 25, 22]) are used routinely in the computer-aided design of integrated circuits and have been widely applied to find bugs in software, analyze embedded systems, and find security vulnerabilities.”
• History of Interactive Theorem Proving (2014, methodology): “ACL2 has further accelerated and consolidated the use of the family of provers in many applications of practical interest [Kaufmann et al., 2000a].”