Java Pathfinder

Java Pathfinder

Infobox_Software
name = Java Pathfinder
logo=


caption =
developer = NASA
latest_release_version = 1.0a
latest_release_date = October 6, 2005
operating_system = Cross-platform
genre = Model checking
license = NASA Open Source Agreement version 1.3
website = http://javapathfinder.sourceforge.net/

Java Pathfinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker developed by NASA.

See also

*NASA World Wind

External links

* [http://javapathfinder.sourceforge.net/ Official site]
* [http://www.nasa.gov/centers/ames/news/releases/2005/05_28AR.html New NASA Software Detects 'Bugs' in Java Computer Code]
* [http://www.nasa.gov/centers/ames/multimedia/images/2005/javapathfinder.html NASA Develops New Software to Detect "Bugs" in Java Computer Code]
* [http://www.netbeans.org/kb/41/java-pathfinder.html Building and Running Java PathFinder with NetBeans by Charlie Hunt]
* [http://users.ece.utexas.edu/~khurshid/papers/JPF-issta04.pdf Test Input Generation with Java PathFinder]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Java PathFinder — (JPF) свободный инструмент для проверки многопоточных Java программ. По своей сути это виртуальная Java машина (англ. Java Virtual Machine) на основе которой реализованы методы проверки моделей (англ. model checking). Это означает, что… …   Википедия

  • Pathfinder — or pathfinders may refer to:Astronomy* Mars Pathfinder, NASA exploration probe * Space Shuttle Pathfinder, space shuttle mockup known as OV 098Computer science* Path Finder, a shareware file browser for Mac OS X * Pathfinder Networks, method for… …   Wikipedia

  • Java (значения) — …   Википедия

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • Проверка моделей — (проверка на модели, англ. model checking)  метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… …   Википедия

  • JPF — Jefferson Pilot Financial (Business » Firms) * Java PathFinder (Computing » General) * Jewish Peace Fellowship (Community » Non Profit Organizations) * Jovian Planet Finder (Governmental » NASA) * John s Personal Favorite (Miscellaneous »… …   Abbreviations dictionary

  • Parachute Regiment (United Kingdom) — For a list of parachute regiments from other countries, see Parachute Regiment (disambiguation). The Parachute Regiment Cap Badge of the Parachute Regiment Active …   Wikipedia

  • Morfik — Technology Pty Ltd. Industry Computer software Founded Hobart, Tasmania, AUS (2000) Headquarters Sydney, NSW, Australia …   Wikipedia

  • Liste bedeutender Schiffsversenkungen — Dieser Artikel enthält eine chronologische Auflistung bedeutender Schiffsversenkungen in der Geschichte der Seefahrt. Schiffe, die aus anderen Gründen untergegangen sind, finden sich in den Chroniken bedeutender Seeunfälle, siehe dazu Liste von… …   Deutsch Wikipedia

  • Military history of Australia during World War II — An Australian light machine gun team in action during the Aitape Wewak campaign, June 1945 Australia entered World War II shortly after the invasion of Poland, declaring war on Germany …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”