JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc… ...
23.5 x 31.9 cm. (9.3 x 12.6 in.) Subscribe now to view details for this work, and gain access to over 18 million auction results. Purchase One-Day Pass ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback