Automated Technology for... | Buy

Invited Talks
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results	p. 1
Abstraction Learning	p. 17
Synthesis: Words and Traces	p. 18
Regular Papers
Promptness in ¿-Regular Automata	p. 22
Using Redundant Constraints for Refinement	p. 37
Methods for Knowledge Based Controlling of Distributed Systems	p. 52
Composing Reachability Analyses of Hybrid Systems for Safety and Stability	p. 67
The Complexity of Codiagnosability for Discrete Event and Timed Systems	p. 82
On Scenario Synchronization	p. 97
Compositional Algorithms for LTL Synthesis	p. 112
What's Decidable about Sequences?	p. 128
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network	p. 143
Lattice-Valued Binary Decision Diagrams	p. 158
A Specification Logic for Exceptions and Beyond	p. 173
Non-monotonic Refinement of Control Abstraction for Concurrent Programs	p. 188
An Approach for Class Testing from Class Contracts	p. 203
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata	p. 218
Reachability as Derivability, Finite Countermodels and Verification	p. 233
LTL Can Be More Succinct	p. 245
Automatic Generation of History-Based Access Control from Information Flow Specification	p. 259
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems	p. 276
Symbolic Unfolding of Parametric Stopwatch Petri Nets	p. 291
Recursive Timed Automata	p. 306
Probabilistic Contracts for Component-Based Design	p. 325
Tool Papers
Model-Checking Web Applications with Web-TLR	p. 341
GAVS: Game Arena Visualization and Synthesis	p. 347
CRI: Symbolic Debugger for MCAPI Applications	p. 353
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming	p. 359
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems	p. 365
Developing Model Checkers Using PAT	p. 371
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B	p. 378
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification	p. 387
Rbminer: A Tool for Discovering Petri Nets from Transition Systems	p. 396
Author Index	p. 403
Table of Contents provided by Ingram. All Rights Reserved.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.