There is a newer version of the record available.

Published April 4, 2023 | Version PLDI-23.v2
Software Open

Transactional JPF

Creators

  • 1. anonymous

Description

A Java PathFinder extension for managing transactions along with EXPLORE algorithm

Files

transactional-jpf.zip

Files (59.8 MB)

Name Size Download all
md5:476ca8c68bbc5958285fa4bd1e1c6cd9
59.8 MB Preview Download