Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 183 citing Model Checking. 

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan - Computers - 2004
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating ...
Limited preview - About this book

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Computers - 2002 - 218 pages
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle ...
Limited preview - About this book

Come, Letís Play: Scenario-Based Programming Using LSCs and the Play-Engine

David Harel, Rami Marelly - Computers - 2003 - 382 pages
The play-in/play-out method and tool presented in this book is a powerful new approach to software and systems engineering and modeling based on formal methods and program ...
Limited preview - About this book

Parameterized Complexity Theory

J. Flum, M. Grohe - Computers - 2006 - 507 pages
Parameterized complexity theory is a branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. This book provides ...
Limited preview - About this book

Modeling Embedded Systems and SoCs: Concurrency and Time in Models of ...

Axel Jantsch - Computers - 2004 - 351 pages
System level design is a critical component for the methods to develop designs more productively. But there are a number of challenges in implementing system level modeling ...
Limited preview - About this book

Assertion-Based Design

Harry D. Foster, Adam C. Krolnik, David J. Lacey - Computers - 2004 - 390 pages
Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 ...
Limited preview - About this book

Real-Time Systems: Scheduling, Analysis, and Verification

Albert M. K. Cheng - Computers - 2003 - 552 pages
The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well as an ...
Limited preview - About this book

Methodologies and Software Engineering for Agent Systems: The Agent-Oriented ...

Federico Bergenti, Marie-Pierre Gleizes, Franco Zambonelli - Computers - 2004 - 505 pages
As information technologies become increasingly distributed and accessible to larger number of people and as commercial and government organizations are challenged to scale ...
Limited preview - About this book

Automated Theorem Proving in Software Engineering

Johann M. Schumann - Business & Economics - 2001 - 228 pages
The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search