Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 200

By: Susanne Graf (Editor), Michael Schwartzbach (Editor)

Write A Review

Paperback | 15 March 2000

At a Glance

Paperback
572 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.
The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

Shipping

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

Orders over $79.00 qualify for free shipping.

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.

You Can Find This Book In

Non-Fiction Mathematics Algebra Computing & I.T.Computer Networking & Communications Computer Science Systems Analysis & Design Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Computer Hardware Network Hardware

Algorithms & Data Structures

Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints	p. 1
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design	p. 20
Proof General: A Generic Tool for Proof Development	p. 38
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation	p. 43
Formal Methods Tools
Consistent Integration of Formal Methods	p. 48
An Architecture for Interactive Program Provers	p. 63
The PROSPER Toolkit	p. 78
CASL: From Semantics to Tools	p. 93
Timed and Hybrid Systems
On the Construction of Live Timed Systems	p. 109
On Memory-Block Traversal Problems in Model-Checking Timed Systems	p. 127
Symbolic Model Checking for Rectangular Hybrid Systems	p. 142
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems	p. 157
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations	p. 172
Abstracting WS1S Systems to Verify Parameterized Networks	p. 188
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems	p. 204
Transitive Closures of Regular Relations for Verifying Infinite-State Systems	p. 220
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation	p. 235
Efficient Diagnostic Generation for Boolean Equation Systems	p. 251
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems	p. 266
Checking for CFFD-Preorder with Tester Processes	p. 283
Fair Bisimulation	p. 299
Integrating Low Level Symmetries into Reachability Analysis	p. 315
Model-Checking Tools
Model Checking Support for the ASM High-Level Language	p. 331
A Markov Chain Model Checker	p. 347
Model Checking SDL with Spin	p. 363
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking	p. 378
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation	p. 395
Symbolic Reachability Analysis Based on SAT-Solvers	p. 411
Symbolic Representation of Upward-Closed Sets	p. 426
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems	p. 441
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors	p. 456
VIP: A Visual Editor and Compiler for v-Promela	p. 471
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution	p. 487
Partial Order Reductions for Security Protocol Verification	p. 503
Model Checking Security Protocols Using a Logic of Belief	p. 519
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors	p. 535
Author Index	p. 551
Table of Contents provided by Publisher. All Rights Reserved.

Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 200

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Generative Artificial Intelligence

Technology and Applications

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Engineering

From Coder to Engineer

Fundamentals of Software Architecture

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

DAMA-DMBOK

Data Management Body of Knowledge

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Systems Analysis and Design

12th edition

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Business Driven Information Systems ISE

9th Edition

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Spark : The Definitive Guide

Big Data Processing Made Simple

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Data Mesh

Delivering Data-Driven Value at Scale

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Rust Atomics and Locks

Low-Level Concurrency in Practice

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Digital Technologies for Wind Turbine Control and Integration

Advances in Digital Technologies for Smart Applications

This product is categorised by