Package Details: jpf-core-bin r32-1

Git Clone URL: https://aur.archlinux.org/jpf-core-bin.git (read-only)
Package Base: jpf-core-bin
Description: An extensible software model checking framework for Java bytecode programs
Upstream URL: https://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-core
Keywords: Finder Java JPF Path Pathfinder
Licenses: Apache
Conflicts: jpf-core
Provides: jpf-core
Submitter: baplar
Maintainer: baplar
Last Packager: baplar
Votes: 0
Popularity: 0.000000
First Submitted: 2018-05-04 12:41
Last Updated: 2018-05-04 12:41