All-purpose | Everything Else

Java Pathfinder User Guide

by Nasa Technical Reports Server (ntrs)

2021-01-05 00:56:30

Compare Price
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 check... Read more
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. Less

Book Details

File size9.69 X 7.44 X 0.07 in
Print pages36
PublisherBiblioGov
Publication date August 7, 2013
LanguageEnglish
ISBN9781289290542
autor-image
Nasa Technical Reports Server (ntrs)
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 18.72
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 18.72
Available Discount
No Discount available

Related Books

View All
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
Hurricane Season
☆ ☆ ☆ ☆ ☆
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
The Book Club
☆ ☆ ☆ ☆ ☆
Going to School
☆ ☆ ☆ ☆ ☆
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
Made for Me
☆ ☆ ☆ ☆ ☆
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS