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


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)