JPF-SE: A Symbolic Execution Extension to Java PathFinder

1 — 12

1 They said, Java PathFinder is model checker framework. JPF-SE is an extension to JPF. More precise, JPF is an explicit state model checking tool.

12 ExpliSAT based on SAT-solver Mage.

Sergey Vartanov, 2007–2020