The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas

References in zbMATH (referenced in 137 articles )

Showing results 81 to 100 of 137.
Sorted by year (citations)
  1. Gedell, Tobias; Hähnle, Reiner: Verification by parallelization of parametric code (2007)
  2. Kieburtz, Richard B.: Programmed strategies for program verification (2007)
  3. Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter: Specification and verification challenges for sequential object-oriented programs (2007)
  4. Leino, K. Rustan M.; Schulte, Wolfram: A verifying compiler for a multi-threaded object-oriented language (2007)
  5. Liblit, Ben: Cooperative bug isolation. Winning thesis of the 2005 ACM doctoral dissertation competition. (2007)
  6. Naumann, David A.: Observational purity and encapsulation (2007)
  7. Rakamarić, Zvonimir; Bruttomesso, Roberto; Hu, Alan J.; Cimatti, Alessandro: Verifying heap-manipulating programs in an SMT framework (2007)
  8. Rümmer, Philipp; Shah, Muhammad Ali: Proving programs incorrect using a sequent calculus for Java dynamic logic (2007)
  9. Sasse, Ralf; Meseguer, José: Java+ITP: a verification tool based on Hoare logic and algebraic semantics (2007) ioport
  10. Taghdiri, Mana; Jackson, Daniel: Inferring specifications to detect errors in code (2007) ioport
  11. Tiwari, Ashish; Gulwani, Sumit: Logical interpretation: Static program analysis using theorem proving (2007)
  12. Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo: Bounded model checking of software using SMT solvers instead of SAT solvers (2006)
  13. Dams, Dennis R.; Namjoshi, Kedar S.: Orion: high-precision methods for static error analysis of C and C++ programs (2006)
  14. Gedell, Tobias; Hähnle, Reiner: Automating verification of loops by parallelization (2006)
  15. Ireland, Andrew; Ellis, Bill J.; Cook, Andrew; Chapman, Roderick; Barnes, Janet: An integrated approach to high integrity software verification (2006)
  16. Jia, Limin; Walker, David: ILC: A foundation for automated reasoning about pointer programs (2006)
  17. Lahiri, Shuvendu K.; Mehra, Krishna K.: Interpolant based decision procedure for quantifier-free Presburger arithmetic (2006)
  18. Leino, K. Rustan M.; Müller, Peter: A verification methodology for model fields (2006)
  19. Robby; Rodríguez, Edwin; Dwyer, Matthew B.; Hatcliff, John: Checking JML specifications using an extensible software model checking framework (2006) ioport
  20. Rümmer, Philipp: Sequential, parallel, and quantified updates of first-order structures (2006)