Gerard J. Holzmann's Books

The SPIN Verification System

The Second Workshop on the SPIN Verification System : Proceedings of a DIMACS Workshop, August 5, 1996

By: Jean-Charles Grégoire,Gerard J. Holzmann,Doron A. Peled

Write a review Read reviews Take a Quiz Solve Book Puzzle

The SPIN Verification System

The Second Workshop on the SPIN Verification System : Proceedings of a DIMACS Workshop, August 5, 1996

By: Jean-Charles Grégoire,Gerard J. Holzmann,Doron A. Peled

What is SPIN? SPIN is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of processes. It can also check for more subtle, system dependent correctness properties expressed inthe syntax of Linear-time Temporal Logic (LTL). The tool translates LTL formulae automatically into automata representations, which can be used in an efficient on-th-fly verifications procedure. This DIMACS volume presents the papers contributed to the second international workshop that was held on the SPIN verification system at Rutgers University in August 1996. The work covers theoretical and foundational studies of formal verifications, empirical studies of the effectiveness of different types of algorithms, significant practical applications of the SPIN verifier, and discussions of extensions and revisions of the basic code. This text will be of interest to those working in applications.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

217

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821806807

ISBN 13

9780821806807

Partial Order Methods in Verification

DIMACS Workshop, July 24-26, 1996

By: Vaughan R. Pratt,Gerard J. Holzmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Partial Order Methods in Verification

DIMACS Workshop, July 24-26, 1996

By: Vaughan R. Pratt,Gerard J. Holzmann

This book presents surveys on the theory and practice of modelling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programmes, model-checking, automata, and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, programme semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modelling concurrency.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

421

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821805797

ISBN 13

9780821805794

The Spin Model Checker

Primer and Reference Manual

By: Gerard J. Holzmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Spin Model Checker

Primer and Reference Manual

By: Gerard J. Holzmann

The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that up to three-quarters of the $400 billion spent annually to hire programmers in the United States is ultimately spent on debugging

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

596

Publisher

Addison-Wesley Professional

Published Date

ISBN 10

0321773713

ISBN 13

9780321773715

Book's by Gerard J. Holzmann

The SPIN Verification System

The SPIN Verification System

Partial Order Methods in Verification

Partial Order Methods in Verification

The Spin Model Checker

The Spin Model Checker

Username

Password

Username

Password

Password again

Birthday

Email