• JayHorn

  • Referenced in 2 articles [sw25903]
  • JayHorn is a software model checking tool for Java. JayHorn tries to find a proof ... must not be Null before being accessed). JayHorn tries to err on the side ... violated (this is called soundness). JayHorn is currently sound (modulo bugs) for Java that...
  • JPF-SE

  • Referenced in 12 articles [sw12038]
  • JPF-SE: a symbolic execution extension to Java...
  • JBMC

  • Referenced in 2 articles [sw25908]
  • JBMC is a Bounded Model Checker for Java...