Tools and algorithms for the construction and pdf

Tools and algorithms for the construction and

More Book Details

Description of the Book:

Author: W. Rance Cleaveland
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-65703-3
DOI: 10.1007/3-540-49059-0

Table of Contents:

Modeling for Mere MortalsnScheduling System VerificationnA Period Assignment Algorithm for Real-Time System DesignnAnalyzing Stochastic Fixed-Priority Real-Time SystemsnTimed Diagnostics for Reachability PropertiesnFighting Livelock in the i-Protocol: A Comparative Study of Verification ToolsnProving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLnAutomated Fast-Track Reconfiguration of Group Communication SystemsnSpecifications and Proofs for Ensemble LayersnAn Automated Analysis of Ping-Pong Interactions in E-Mail ServicesnAutomatic Verification of Cryptographic Protocols through Compositional Analysis TechniquesnVerification of Hierarchical State/Event Systems Using Reusability and CompositionalitynOn Proving Safety Properties by Integrating Static Analysis, Theorem Proving and AbstractionnSymbolic Model Checking without BDDsnSymbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission ProtocolnModel Checking in CLPnUsing Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri NetsnFinite State Verification for the Asynchronous π-CalculusnProcess Algebra in PVSnOn the Benefits of Using the Up-To Techniques for Bisimulation Verification’, ‘Includes bibliographical references and index

• Creator/s: TACAS ’99 (1999 : Amsterdam, Netherlands), Cleaveland, W. R. (Walter Rance), 1961-, ETAPS ’99 (1999 : Amsterdam, Netherlands
• Date: 1999
• Book Topics/Themes: System design, Computer software

An excerpt captured from the PDF book