JPF(ID:8200/)

model checker input language
References:
  • Havelund, K. and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999. view details