Software model checking

By Ranjit Jhala, Rupak Majumdar. CSUR, 2009

465 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/f88e57b848201725bae9d7a798f145af9d4edd67

How researchers see this paper

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

In Computational Theory and Mathematics

1. Cristiano Calcagno
2. Peter W. O'Hearn
3. Hongseok Yang
4. Dino Distefano
5. Matthew J. Parkinson
6. Viktor Vafeiadis
7. S. Brookes
8. John C. Reynolds

In Software

1. Peter W. O'Hearn
2. Cristiano Calcagno
3. Dino Distefano
4. Hongseok Yang
5. Hamid Reza Shahriari
6. Seyed Mohammad Ghaffarian
7. Matthew J. Parkinson
8. Viktor Vafeiadis

Citations in the corpus

• Compositional shape analysis by means of bi-abduction (2009, methodology): “In this it is somewhat reminiscent of counterexample-guided abstraction refinement (or CEGAR, [Jhala and Majumdar 2009]).”
• Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques (2017, background): “As mentioned earlier, such sound and complete system is known to be non-existent (Jhala and Majumdar 2009).”