Tommaso Bolognesi, Diego Latella (Eds.): Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. Kluwer 2000 IFIP Conference Proceedings ISBN 0-7923-7968-3
Part One: Verification and Theorem Proving
- Holger Pfeifer: Formal Verification of the TTP Group Membership Algorithm. 3-18
- Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea: A Priori Verification of Reactive Systems. 35-50
Part Two: Test Generation
- Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha: Integrated System Interoperability Testing with Applications to VOIP. 69-84
Part Three: Model Checking - Theory
- Antonella Santone: Compositionality for Improving Model Checking. 105-120
- Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. 121-136
Part Four: Model Checking - Applications
- Doron Peled: Specification and Verification of Message Sequence Charts. 139-154
- Luca Durante, Riccardo Sisto, Adriano Valenzano: A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. 155-170
- Giorgio Delzanno: Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. 171-186
Part Five: Multicast Protocol Analysis and Simulation
- Ahmed Helmy, Sandeep K. Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu: Systematic Performance Evaluation of Multipoint Protocols. 189-204
- Justin Templemore-Finlayson, Eugen Borcoci: Simulating Multicast Transport Protocols in Estelle. 205-218
- Thomas Steinert, Georg Rößler: Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. 219-234
Part Six: Exhaustive and Probabilistic Testing
- Ulrich Ultes-Nitsche: Satisfaction up to Liveness. 237-248
- Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah: Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. 249-264
Part Seven: Hardware Specification, Implementation and Testing
- Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Hardware implementation of Concurrent Periodic EFSM's. 285-300
- Basant Rajan, R. K. Shyamasundar: Modeling Distributed Embedded Systems in Multiclock ESTEREL. 301-316
Part Eight: Formal Semantics
- Michael von der Beeck: A Concise Compositionalj Statecharts Semantics Definition. 335-350
Part Nine: Invited Papers on Verification and Security
- John M. Rushby: From Refutation to Verification. 369-374
- Michele Boreale, Rocco De Nicola, Rosario Pugliese: Process Algebraic Analysis of Cryptographic Protocols. 375-392
- Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. 393-408
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team