13. PSTV 1993: Liège, Belgium
André A. S. Danthine, Guy Leduc, Pierre Wolper (Eds.): Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. North-Holland 1993 IFIP Transactions ISBN 0-444-81648-8
Keynote Address - Invited Paper
- Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires: What Makes Industries Believe in Formal Methods. 3-26
Support for Protocol Engineering with LOTOS
- Charles Pecheur: VLib: Infinite Virtual Libraries for LOTOS. 29-44
- Günter Karjoth: Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables. 61-76
Verification Methods and Tools
- Huimin Lin: A Verification Tool for Value-Passing Processes. 79-92
Time and Probabilities in Formal Design
- Tim Regan: Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm. 127-142
- Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan: Specification of Real-Time Probabilistic Behaviour. 143-157
Application of Formal Methods to Real Protocol Case Studies
- Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes: Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. 175-189
- Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. 191-206
- Caroline Andrae, Reinhard Gotzhein, Simone Sédillot: An Evolutionary Approach to the Development of Complex Protocol Standards. 207-222
- Serge Haddad, Mohamed Taghelit, Belhassen Zouari: Assessment of ESTELLE and EDT Through Real Case Studies. 223-238
Conformance Test Generation and Coverage
- Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Conformance Testing of Protocol Machines without Reset. 241-256
- Khalil Drira, Pierre Azéma, François Vernadat: Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. 257-272
- R. M. Barker, F. A. Brady: Automated Generation of Test Purposes for the OSE Distributed Transaction Processing Protocol. 273-288
- Jadranka Alilovic-Curgus, Son T. Vuong: A Metric Based Theory of Test Selection and Coverage. 289-304
Methods for Synthesising and Transforming Formal Descriptions
- Samir G. Kelekar, George W. Hart: Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach. 307-322
Invited Paper
- Kenneth J. Turner: An Engineering Approach to Formal Methods. 357-380
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team