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 121 to 137 of 137.
Sorted by year (citations)

previous 1 2 3 ... 5 6 7

  1. Rose, James; Swamy, Nikhil; Hicks, Michael: Dynamic inference of polymorphic lock types (2005)
  2. Artho, Cyrille; Havelund, Klaus; Biere, Armin: Using block-local atomicity to detect stale-value concurrency errors (2004)
  3. Barnett, Mike; Naumann, David A.: Friends need a bit more: Maintaining invariants over shared state (2004)
  4. de Boer, Frank S.; Pierik, Cees: How to cook a complete Hoare logic for your pet OO language (2004)
  5. Flanagan, Cormac: Automatic software model checking via constraint logic (2004)
  6. Jacobs, Bart: Weakest pre-condition reasoning for Java programs with JML annotations (2004)
  7. Jacobs, Bart; Oostdijk, Martijn; Warnier, Martijn: Source code verification of a secure payment applet (2004)
  8. Kuncak, Viktor; Rinard, Martin: Boolean algebra of shape analysis constraints. (2004)
  9. Nelson, Greg: Extended static checking for Java (2004)
  10. Robby; Rodríguez, Edwin; Dwyer, Matthew B.; Hatcliff, John: Checking strong specifications using an extensible software model checking framework (2004)
  11. Flanagan, Cormac: Automatic software model checking using CLP (2003)
  12. Gunter, Elsa; Peled, Doron: Unit checking: symbolic model checking for a unit of code (2003)
  13. Nystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C.: Polyglot: An extensible compiler framework for Java (2003)
  14. Ranise, Silvio; Déharbe, David: Applying light-weight theorem proving to debugging and verifying pointer programs (2003)
  15. Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.: A modular checker for multithreaded programs (2002)
  16. Wand, Mitchell; Williamson, Galen B.: A modular, extensible proof method for small-step flow analyses (2002)
  17. Nelson, Greg: Extended static checking (2001)

previous 1 2 3 ... 5 6 7