Java Pathfinder User Guide (Paperback)

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

General

Imprint:	Bibliogov
Country of origin:	United States
Release date:	August 2013
First published:	August 2013
Creators:	Nasa Technical Reports Server (Ntrs)
Authors:	Klaus Havelund
Dimensions:	246 x 189 x 2mm (L x W x T)
Format:	Paperback - Trade
Pages:	36
ISBN-13:	978-1-289-29054-2
Categories:	Books > Social sciences > Politics & government > General
LSN:	1-289-29054-7
Barcode:	9781289290542

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!