Java PathFinder User Guide
Language: English
Published by Bibliogov, 2013
- Softcover
- New
Seller: Biblios, frankfurt am main, hessen, GermanyBiblios
4-star seller
AbeBooks seller since September 10, 2024
Softcover
Condition: New
US$ 22.87
US$ 11.41 shipping
Ships from Germany to U.S.A.
Quantity: 4 available
Add to basketFree 30-day returns
Item description from seller
PRINT ON DEMAND pp. 36.
Seller Inventory # 18386018432
- Title
- Java PathFinder User Guide
- Author
- Havelund, Klaus
- Publisher
- Bibliogov
- Publication year
- 2013
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 1289290547
- ISBN 13
- 9781289290542
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.
"Synopsis" may belong to another edition of this title.
Biblios
frankfurt am main, hessen, Germany
4-star seller
AbeBooks seller since September 10, 2024
Shipping rates from Germany to U.S.A.
| Item | 25 to 45 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 11.41 | US$ 21.45 |
Payment methods
Store description
We carry a wide selection of books from South Asia, United States, UK.
Specialty
new books imported from india, uk, usaSeller's business information
Readingos GmbH
Kaiserstraße 47
Frankfurt am Main, Germany 60329
Shipping terms
To ensure faster delivery, books may be shipped from any of the following locations Germany, the United Kingdom (UK), the United States (US), based on the buyer's address and product availability.