Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Pr - Joost-Pieter Katoen

Instant online reading.
Don't wait for delivery!

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Pr

By: Joost-Pieter Katoen (Editor), Perdita Stevens (Editor)

Write A Review

Paperback | 20 March 2002

At a Glance

Paperback
500 Pages

Dimensions(cm)
23.5 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

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 Computing & I.T.Computer Science Systems Analysis & Design Medicine Medicine in General Computer Networking & Communications Mathematical Theory of Computation Computer Architecture & Logic Design Computer Hardware Network Hardware Computer Programming & Software Development

Algorithms & Data Structures Software Engineering

Invited Contributions
Software Construction and Analysis Tools for Future Space Missions	p. 1
Alloy: A New Technology for Software Modelling	p. 20
Real-Time and Probabilistic Systems
Improving the Verification of Timed Systems Using Influence Information	p. 21
Digitisation and Full Abstraction for Dense-Time Model Checking	p. 37
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach	p. 52
Scheduling
Timed Automata with Asynchronous Processes: Schedulability and Decidability	p. 67
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems	p. 83
An Analysis of Zero-Clairvoyant Scheduling	p. 98
Preemptive Job-Shop Scheduling Using Stopwatch Automata	p. 113
Miscellaneous
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems	p. 127
A Functional Semantics of Attribute Grammars	p. 142
Software Verification
Relative Completeness of Abstraction Refinement for Software Model Checking	p. 158
Towards the Automated Verification of Multithreaded Java Programs	p. 173
CLPS-B - A Constraint Solver for B	p. 188
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS	p. 205
Infinite-State and Parametric Systems
Beyond Parameterized Verification	p. 221
Resource-Constrained Model Checking of Recursive Programs	p. 236
Model Checking Large-Scale and Parameterized Resource Allocation Systems	p. 251
Model Checking: Logics and Algorithms
Exploring Very Large State Spaces Using Genetic Algorithms	p. 266
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems	p. 281
The ForSpec Temporal Logic: A New Temporal Property-Specification Language	p. 296
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis	p. 312
Model Checking and Testing
A Temporal Logic Based Theory of Test Coverage and Generation	p. 327
Synthesizing Monitors for Safety Properties	p. 342
Adaptive Model Checking	p. 357
Partial-Order and Simulation Techniques
Parallelisation of the Petri Net Unfolding Algorithm	p. 371
Black Box Unfolding with Local First Search	p. 386
Applicability of Fair Simulation	p. 401
Simulation as Coarsest Partition Problem	p. 415
Debugging with Model Checking
Temporal Debugging for Concurrent Systems	p. 431
Fate and Free Will in Error Traces	p. 445
Tool Papers
TIMES - A Tool for Modelling and Implementation of Embedded Systems	p. 460
Compositional Verification Using SVL Scripts	p. 465
STG: A Symbolic Test Generation Tool	p. 470
Real-Time Systems Design with PEP	p. 476
Author Index	p. 481
Table of Contents provided by Publisher. All Rights Reserved.

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Pr

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Effective Modern C++

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

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Fundamentals of Software Architecture

A Modern Engineering Approach

Spark : The Definitive Guide

Big Data Processing Made Simple

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Systems Analysis and Design

12th edition

Business Driven Information Systems ISE

9th Edition

Algorithms in C, Parts 1-4

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

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

DAMA-DMBOK

Data Management Body of Knowledge

Arduino Cookbook

Recipes to Begin, Expand, and Enhance Your Projects

Linux Pocket Guide

4th Edition - Essential Commands

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

The Product-Minded Engineer

Building the Right Solutions for Your Users

Fundamentals of Software Engineering

From Coder to Engineer

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Tidy First?

A Personal Exercise in Empirical Software Design

Rust Atomics and Locks

Low-Level Concurrency in Practice

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Building Applications with AI Agents

Designing and Implementing Multi-Agent Systems

This product is categorised by