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, editor |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XII, 456 p.) |
Disciplina | 004.21 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | System design |
ISBN | 3-540-49059-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910143465903321 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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, editor |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XII, 456 p.) |
Disciplina | 004.21 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | System design |
ISBN | 3-540-49059-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465492403316 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|