Doron A. Peled's Books

Model Checking

By: Edmund M. Clarke,Orna Grumberg,Doron Peled,Doron A. Peled

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking

By: Edmund M. Clarke,Orna Grumberg,Doron Peled,Doron A. Peled

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

346

Publisher

MIT Press

Published Date

ISBN 10

0262032708

ISBN 13

9780262032704

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

Software Reliability Methods

By: Doron A. Peled

Write a review Read reviews Take a Quiz Solve Book Puzzle

Software Reliability Methods

By: Doron A. Peled

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

344

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1475735405

ISBN 13

9781475735406

Book's by Doron A. Peled

Model Checking

Model Checking

The SPIN Verification System

The SPIN Verification System

Software Reliability Methods

Software Reliability Methods

Username

Password

Username

Password

Password again

Birthday

Email