Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Java PathFinder User Guide
Imagen de archivo
Java Pathfinder User Guide
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLING22Oct2517050421036
Comprar nuevo
EUR 25,57
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Java PathFinder User Guide
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 36. Nº de ref. del artículo: 26386018442
Comprar nuevo
EUR 25,58
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Java PathFinder User Guide
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 36. Nº de ref. del artículo: 393581397
Comprar nuevo
EUR 24,92
Gastos de envío:
EUR 7,39
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Java PathFinder User Guide
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 36. Nº de ref. del artículo: 18386018432
Comprar nuevo
EUR 25,89
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Java Pathfinder User Guide
Impresión bajo demandaLibrería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 112. Nº de ref. del artículo: C9781289290542
Comprar nuevo
EUR 29,82
Gastos de envío:
EUR 13,50
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles