GitHub repository: Galieve/transactional-jpf
Primary language: Java
Created: 2022-02-09T14:52:37Z
Description: Transactional version of JPF