Amazon cover image
Image from Amazon.com

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed.

By: TACAS '99 (1999 : Amsterdam, Netherlands)Contributor(s): Cleaveland, W. R. (Walter Rance), 1961- | ETAPS (Conference) (2nd : 1999 : Amsterdam, Netherlands)Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 1579.Publication details: Berlin ; New York : Springer, ©1999. Description: 1 online resource (xi, 443 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540490593; 3540490590Subject(s): System design -- Congresses | Computer software -- Development -- Congresses | Computer software -- Development | System design | Logica | ProgrammatuurtechniekGenre/Form: Electronic books. | Conference papers and proceedings. | Congressen (vorm) Additional physical formats: Print version:: Tools and algorithms for the construction and analysis of systems.DDC classification: 004.2/1 LOC classification: QA76.9.S88 | T33 1999Other classification: 54.51 | PM 671 | PL 62 | 28 | DAT 310f | SS 1999 | SS 4800 Online resources: Click here to access online
Contents:
Invited Contribution -- Modeling for Mere Mortals -- Real-Time -- Scheduling System Verification -- A Period Assignment Algorithm for Real-Time System Design -- Analyzing Stochastic Fixed-Priority Real-Time Systems -- Timed Diagnostics for Reachability Properties -- Case Studies -- Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools -- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL -- Automated Fast-Track Reconfiguration of Group Communication Systems -- Specifications and Proofs for Ensemble Layers -- Compositionality and Abstraction -- An Automated Analysis of Ping-Pong Interactions in E-Mail Services -- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques -- Verification of Hierarchical State/Event Systems Using Reusability and Compositionality -- On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction -- Symbolic Analysis -- Symbolic Model Checking without BDDs -- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol -- Model Checking in CLP -- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets -- Process Algebra -- Finite State Verification for the Asynchronous ?-Calculus -- Process Algebra in PVS -- On the Benefits of Using the Up-To Techniques for Bisimulation Verification -- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes -- Frameworks for System Construction and Analysis -- Hardware Testing Using a Communication Protocol Conformance Testing Tool -- A Light-Weight Framework for Hardware Verification -- An Easily Extensible Toolset for Tabular Mathematical Expressions -- From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach -- Tool Descriptions -- A Theorem Prover-Based Analysis Tool for Object-Oriented Databases -- DYANA: An Environment for Embedded System Design and Analysis -- Path Exploration Tool -- Modular State Level Analysis of Distributed Systems Techniques and Tool Support -- Position Paper -- Some Issues in the Software Engineering of Verification Tools -- ETAPS Tool Demonstation -- The ETI Online Service in Action.
Summary: This book constitutes the refereed proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 28 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. Also included are one invited paper, a position statement, and one ETAPS tool demonstration. The papers are organized in topical sections on real-time systems, case studies, compositionality and abstraction, symbolic analysis, process algebras, frameworks for system construction and analysis, and tool descriptions.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 28 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. Also included are one invited paper, a position statement, and one ETAPS tool demonstration. The papers are organized in topical sections on real-time systems, case studies, compositionality and abstraction, symbolic analysis, process algebras, frameworks for system construction and analysis, and tool descriptions.

Invited Contribution -- Modeling for Mere Mortals -- Real-Time -- Scheduling System Verification -- A Period Assignment Algorithm for Real-Time System Design -- Analyzing Stochastic Fixed-Priority Real-Time Systems -- Timed Diagnostics for Reachability Properties -- Case Studies -- Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools -- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL -- Automated Fast-Track Reconfiguration of Group Communication Systems -- Specifications and Proofs for Ensemble Layers -- Compositionality and Abstraction -- An Automated Analysis of Ping-Pong Interactions in E-Mail Services -- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques -- Verification of Hierarchical State/Event Systems Using Reusability and Compositionality -- On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction -- Symbolic Analysis -- Symbolic Model Checking without BDDs -- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol -- Model Checking in CLP -- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets -- Process Algebra -- Finite State Verification for the Asynchronous ?-Calculus -- Process Algebra in PVS -- On the Benefits of Using the Up-To Techniques for Bisimulation Verification -- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes -- Frameworks for System Construction and Analysis -- Hardware Testing Using a Communication Protocol Conformance Testing Tool -- A Light-Weight Framework for Hardware Verification -- An Easily Extensible Toolset for Tabular Mathematical Expressions -- From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach -- Tool Descriptions -- A Theorem Prover-Based Analysis Tool for Object-Oriented Databases -- DYANA: An Environment for Embedded System Design and Analysis -- Path Exploration Tool -- Modular State Level Analysis of Distributed Systems Techniques and Tool Support -- Position Paper -- Some Issues in the Software Engineering of Verification Tools -- ETAPS Tool Demonstation -- The ETI Online Service in Action.

English.

Powered by Koha