ウェブ

1. Java Pathfinder (JPF) core system(ARC-17487-1)
   Java Pathfinder core system (jpf-core), is a model checker for Java bytecode. The technology takes a binary Java program and executes it in a user ...
   https://software.nasa.gov > software
2. Java Pathfinder - Wikipedia
   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.
   https://en.wikipedia.org > wiki > Java...
3. Java Pathfinder - GitHub
   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.
   https://github.com > javapathfinder
4. I'm not sure I understand what Java Pathfinder is. - Reddit
   2014/9/25 -Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open ...
   https://www.reddit.com > comments
5. Java™ Pathfinder - Google Groups
   Welcome to the Java Pathfinder Google Group. We discuss everything about Java Pathfinder (both jpf-core and extensions, including Symbolic Pathfinder) on ...
   https://groups.google.com > java-path...
6. GitHub - javapathfinder/jpf-core
   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.
   https://github.com > jpf-core
7. Introduction to Java Pathfinder - Dev Genius
   Java Pathfinder (JPF) is an open source system to verify executable Java bytecode programs. JPF was developed at the Robust Software Engineering Group at ...
   https://blog.devgenius.io > introductio...
8. JPF
   Even more so since the different JPF projects have vastly different levels of maturation, and some are cutting edge research that is very much work in progress.
   https://javapathfinder.sourceforge.net
9. 2020 Program The Java Pathfinder Team - Google Summer of Code
   Symbolic PathFinder (SPF) is a tool that uses Java PathFinder at the back-end and can extract path conditions for a program by executing the program...
   https://summerofcode.withgoogle.com > ...
10. Model Checking Java Programs (Java PathFinder) - CS@Purdue
    JPF is an explicit state software model checker for Java bytecode. JPF is a Java virtual machine that executes your program not just once (like a normal VM) ...
    https://www.cs.purdue.edu > spring08 > 15-jpf-1