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 101 to 120 of 137.
Sorted by year (citations)
  1. Ball, Thomas; Lahiri, Shuvendu K.; Musuvathi, Madanlal: Zap: Automated theorem proving for software analysis (2005)
  2. Barrett, Clark; de Moura, Leonardo; Stump, Aaron: Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) (2005)
  3. Breunesse, C.-B.; Cataño, N.; Huisman, M.; Jacobs, B.: Formal methods for smart cards: an experience report (2005)
  4. Burdy, Lilian; Cheon, Yoonsik; Cok, David R.; Ernst, Michael D.; Kiniry, Joseph R.; Leavens, Gary T.; Leino, K. Rustan M.; Poll, Erik: An overview of JML tools and applications (2005) ioport
  5. Burdy, Lilian; Cheon, Yoonsik; Cok, David R.; Ernst, Michael D.; Kiniry, Joseph R.; Leavens, Gary T.; Leino, K. Rustan M.; Poll, Erik: An overview of JML tools and applications (2005) ioport
  6. Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George: Enforcing resource bounds via static verification of dynamic checks (2005)
  7. Cook, Byron; Kroening, Daniel; Sharygina, Natasha: Cogent: Accurate theorem proving for program verification (2005)
  8. Della Penna, Giuseppe: A type system for static and dynamic checking of C++ pointers (2005)
  9. Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.: Modular verification of multithreaded programs (2005)
  10. Gunter, Elsa; Peled, Doron: Model checking, testing and verification working together (2005)
  11. Kang, Hyun-Goo; Kim, Youil; Han, Taisook; Han, Hwansoo: A path sensitive type system for resource usage verification of (C) like languages (2005)
  12. Lahiri, Shuvendu K.; Musuvathi, Madanlal: An efficient decision procedure for UTVPI constraints (2005)
  13. Leavens, Gary T.; Cheon, Yoonsik; Clifton, Curtis; Ruby, Clyde; Cok, David R.: How the design of JML accommodates both runtime assertion checking and formal verification (2005)
  14. Leino, K. Rustan M.: Efficient weakest preconditions (2005)
  15. Leino, K. Rustan M.; Millstein, Todd; Saxe, James B.: Generating error traces from verification-condition counterexamples (2005)
  16. Leino, K. Rustan M.; Müller, Peter: Modular verification of static class invariants (2005)
  17. Leino, K. Rustan M.; Musuvathi, Madan; Ou, Xinming: A two-tier technique for supporting quantifiers in a lazily proof-explicating theorem prover (2005)
  18. Mostowski, Wojciech: Formalisation and verification of Java Card security properties in dynamic logic (2005)
  19. Naik, Mayur; Palsberg, Jens: A type system equivalent to a model checker (2005)
  20. Pierik, Cees; De Boer, Frank S.: A proof outline logic for object-oriented programming (2005)