Doron Peled's Books

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

423

Publisher

MIT Press

Published Date

ISBN 10

0262349450

ISBN 13

9780262349451

Nonaqueous Electrochemistry

By: Doron Aurbach

Write a review Read reviews Take a Quiz Solve Book Puzzle

Nonaqueous Electrochemistry

By: Doron Aurbach

An examination of applications of electrochemical techniques to many organic and inorganic compounds that are either unstable or insoluble in water. It focuses on the continuing drive toward miniaturization in electronics met by designs for high-energy density batteries (based on nonaqueous systems). It addresses applications to nonaqueous batteries, supercapacitators, highly sensitive reagents, and electroorganic and electroinorganic synthesis.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

980

Publisher

CRC Press

Published Date

ISBN 10

0824741382

ISBN 13

9780824741389

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

Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

By: Doron Drusinsky

Write a review Read reviews Take a Quiz Solve Book Puzzle

Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

By: Doron Drusinsky

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice. - A practical, tutorial-style text (other books on this topic discuss the tools and formalisms only theoretically) - Includes an unclassified case study example from the U.S. Missile Defense project

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

321

Publisher

Elsevier

Published Date

ISBN 10

0080481477

ISBN 13

9780080481470

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

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

423

Publisher

MIT Press

Published Date

ISBN 10

0262038838

ISBN 13

9780262038836

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

By: Nicolas Halbwachs,Doron Peled

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

By: Nicolas Halbwachs,Doron Peled

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

515

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540662022

ISBN 13

9783540662020

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

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

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

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking, second edition

By: Edmund M. Clarke, Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

423

Publisher

MIT Press

Published Date

ISBN 10

0262349450

ISBN 13

9780262349451

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

By: Rajeev Alur

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

By: Rajeev Alur

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

546

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540223428

ISBN 13

9783540223429

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

By: Francesco Logozzo,Doron A. Peled,Leonore D. Zuck

Write a review Read reviews Take a Quiz Solve Book Puzzle

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

By: Francesco Logozzo,Doron A. Peled,Leonore D. Zuck

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

333

Publisher

Springer

Published Date

ISBN 10

3540781633

ISBN 13

9783540781639

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

By: Doron Peled,Doron A. Peled,Moshe Y. Vardi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

By: Doron Peled,Doron A. Peled,Moshe Y. Vardi

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

382

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540001417

ISBN 13

9783540001416

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

By: Doron A. Peled,Yih-Kuen Tsay

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

By: Doron A. Peled,Yih-Kuen Tsay

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4–7, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. The symposium was co-located and had a two-day overlap with FORTE 2005, which was held October 2–5, 2005. We received a total of 95 submissions from 17 countries. Each submission was assigned to three Program Committee members, who were helped by their subreviewers, for rigorous and fair evaluation. The ?nal deliberation by the P- gram Committee was conducted over email for a duration of about 10 days after nearly all review reports had been collected. In the end, 33 papers were - lectedforinclusionintheprogram.ATVA2005hadthreekeynotespeechesgiven respectively by Amir Pnueli (joint with FORTE 2005), Zohar Manna, and Wo- gang Thomas. The main symposium was preceded by a tutorial day, consisting of three two-hour lectures given also by the keynote speakers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

516

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540292098

ISBN 13

9783540292098

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

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

By: Doron A. Peled,Michael Wooldridge

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

By: Doron A. Peled,Michael Wooldridge

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

196

Publisher

Springer

Published Date

ISBN 10

3642004318

ISBN 13

9783642004315

Book's by Doron Peled

Model Checking, second edition

Model Checking, second edition

Nonaqueous Electrochemistry

Nonaqueous Electrochemistry

Software Reliability Methods

Software Reliability Methods

Modeling and Verification Using UML Statecharts

Modeling and Verification Using UML Statecharts

Model Checking

Model Checking

Model Checking, second edition

Model Checking, second edition

Computer Aided Verification

Computer Aided Verification

Software Reliability Methods

Software Reliability Methods

The SPIN Verification System

The SPIN Verification System

Model Checking, second edition

Model Checking, second edition

Computer Aided Verification

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Partial Order Methods in Verification

Partial Order Methods in Verification

Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Username

Password

Username

Password

Password again

Birthday

Email