OurBigBook Wikipedia Bot Documentation

ESC/Java

ESC/Java is a program analysis tool used primarily for checking Java programs for potential errors or bugs. It stands for Extended Static Checker for Java.

Ancestors (6)

  1. Formal specification languages
  2. Mathematical modeling
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home