ESC/Java

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

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 137 articles )

Showing results 41 to 60 of 137.
Sorted by year (citations)
  1. Leino, K. Rustan M.: Dafny: an automatic program verifier for functional correctness (2010)
  2. Leino, K. Rustan M.; Rümmer, Philipp: A polymorphic intermediate verification language: design and logical encoding (2010)
  3. Naumann, David A.; Banerjee, Anindya: Dynamic boundaries: information hiding by second order framing with first order assertions (2010)
  4. Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo: Bounded model checking of software using SMT solvers instead of SAT solvers (2009) ioport
  5. Babić, Domagoj; Hu, Alan J.: Approximating the safely reusable set of learned facts (2009) ioport
  6. Bonacina, Maria Paola; Lynch, Christopher; de Moura, Leonardo: On deciding satisfiability by (\mathrmDPLL(\Gamma+\mathcalT)) and unsound theorem proving (2009)
  7. Chatterjee, Shaunak; Lahiri, Shuvendu K.; Qadeer, Shaz; Rakamarić, Zvonimir: A low-level memory model and an accompanying reachability predicate (2009) ioport
  8. Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun: Refinement and verification in component-based model-driven design (2009)
  9. Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto: Interpolant generation for UTVPI (2009)
  10. Dévai, G.; Pataki, N.: A tool for formally specifying the (C++) standard template library (2009)
  11. du Bousquet, Lydie; Nakamura, Masahide; Yan, Ben; Igaki, Hiroshi: Using formal methods to increase confidence in a home network system implementation: a case study (2009) ioport
  12. Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak: Verifying reference counting implementations (2009)
  13. Ge, Yeting; Barrett, Clark; Tinelli, Cesare: Solving quantified verification conditions using satisfiability modulo theories (2009)
  14. Ge, Yeting; de Moura, Leonardo: Complete instantiation for quantified formulas in satisfiabiliby modulo theories (2009)
  15. Hao, Dan; Zhang, Lu; Liu, Ming-Hao; Li, He; Sun, Jia-Su: Test-data generation guided by static defect detection (2009) ioport
  16. Kuliamin, V. V.: Integration of verification methods for program systems (2009)
  17. Logozzo, Francesco: Class invariants as abstract interpretation of trace semantics (2009)
  18. Oliveira, José N.: Extended static checking by calculation using the pointfree transform (2009)
  19. Ostroff, Jonathan S.; Torshizi, Faraz Ahmadi; Huang, Hai Feng; Schoeller, Bernd: Beyond contracts for concurrency (2009)
  20. Pan, Kai; Kim, Sunghun; Whitehead, E. James: Toward an understanding of bug fix patterns (2009) ioport