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 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