Systems and Software Verification

Model-Checking Techniques and Tools

By: B. Berard, P. McKenzie (Translator), M. Bidoit

Write A Review

Hardcover | 20 June 2001

At a Glance

Hardcover
212 Pages

Dimensions(cm)
23.39 x 15.6 x 1.27

Hardcover

$243.04

or 4 interest-free payments of $60.76 with

or

Aims to ship in 7 to 10 business days

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Software Engineering

The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday - Mike Hinchey

$43.25

54%
OFF

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Paperback

RRP $57.00

$28.25

50%
OFF

Information Modeling and Relational Databases

2nd Edition

Hardcover

RRP $108.95

$74.95

31%
OFF

Systems Analysis and Design

8th Edition

Paperback

RRP $263.95

$220.75

16%
OFF

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Hardcover

RRP $347.00

$266.25

23%
OFF

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Paperback

RRP $91.25

$41.75

54%
OFF

Accelerate

The Science of Lean Software and Devops: Building and Scaling High Preforming Technology Organizations

Paperback

RRP $44.99

$40.75

Debugging Teams

Better Prductivity Through Collaboration

Paperback

RRP $57.00

$28.25

50%
OFF

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Paperback

RRP $87.35

$40.25

54%
OFF

Powerful Command-Line Applications in Go

Build Fast and Maintainable Tools

Paperback

RRP $87.35

$40.25

54%
OFF

Hands-on Rust

Effective Learning through 2D Game Development and Play

Paperback

RRP $91.25

$41.75

54%
OFF

Serverless Development on AWS

Building Enterprise-Scale Serverless Solutions

Paperback

RRP $125.50

$55.25

56%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$55.25

56%
OFF

Learning Modern C++ for Finance : Foundations for Quantitative Programming - Daniel Hanson

$55.25

56%
OFF

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Paperback

RRP $152.00

$66.25

56%
OFF

Software Developer's Career Handbook, The

A Guide to Navigating the Unpredictable

Paperback

RRP $87.50

$40.40

54%
OFF

Learning Algorithms

A Programmer's Guide to Writing Better Code

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Typescript

Enhance Your Web Development Skills Using Type-Safe JavaScript

Paperback

RRP $106.50

$47.75

55%
OFF

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Paperback

RRP $125.50

$55.25

56%
OFF

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Hardcover

RRP $207.96

$163.25

21%
OFF

Software Project Management 5ed

UK Higher Education Computing Computer Science

Paperback

RRP $117.95

$90.75

23%
OFF

Principles and Techniques: Introduction
Automata
Temporal Logic
Model Checking
Symbolic Model Checking
Timed Automata
Conclusion
Specifying with Temporal Logic: Introduction
Reachability Properties
Safety Properties
Liveness Properties
Deadlock-freeness
Fairness Properties
Abstraction Methods
Conclusion
Some Tools: Introduction
SMV - Symbolic Model Checking
Spin - Communication Automata
Design CPN - Coloured Petri Nets
Uppaal - Timed Systems
Kronos - Model Checking of Real-time Systems
HyTech - Linear Hybrid Systems
Main Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Systems and Software Verification

Model-Checking Techniques and Tools

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

The Combined Power of Research, Education, and Dissemination

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Applications of Blockchain and Artificial Intelligence in Finance and Governance

Artificial Intelligence for Sustainability

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Information Modeling and Relational Databases

2nd Edition

Systems Analysis and Design

8th Edition

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Accelerate

The Science of Lean Software and Devops: Building and Scaling High Preforming Technology Organizations

Debugging Teams

Better Prductivity Through Collaboration

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Powerful Command-Line Applications in Go

Build Fast and Maintainable Tools

Hands-on Rust

Effective Learning through 2D Game Development and Play

Serverless Development on AWS

Building Enterprise-Scale Serverless Solutions

Typescript Cookbook

Real World Type-Level Programming

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Fluent C

Principles, Practices, and Patterns

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Software Developer's Career Handbook, The

A Guide to Navigating the Unpredictable

Learning Algorithms

A Programmer's Guide to Writing Better Code

Learning Typescript

Enhance Your Web Development Skills Using Type-Safe JavaScript

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Software Project Management 5ed

UK Higher Education Computing Computer Science

This product is categorised by

Popular Searches