JPF
@java_pathfinder
Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005.
ID: 1550151171989327872
https://github.com/javapathfinder/jpf-core/wiki 21-07-2022 16:10:38
43 Tweet
82 Followers
79 Following