Abstract is missing.
- What Makes Industries Believe in Formal MethodsChris A. Vissers, Marten van Sinderen, Luís Ferreira Pires. 3-26
- VLib: Infinite Virtual Libraries for LOTOSCharles Pecheur. 29-44
- Goal-Driven LOTOS ExecutionEd Brinksma, Henk Eertink. 45-60
- Dynamic State Machines with Multiway Synchronization, Channels and Shared VariablesGünter Karjoth. 61-76
- A Verification Tool for Value-Passing ProcessesH. Lin. 79-92
- A Validation Environment for LOTOSBrahim Ghribi, Luigi Logrippo. 93-108
- On the Verification of Temporal PropertiesPatrice Godefroid, Gerard J. Holzmann. 109-124
- Multimedia in Temporal LOTOS: A Lip-Synchronization AlgorithmTim Regan. 127-142
- Specification of Real-Time Probabilistic BehaviourMing Fang, Chris Ho-Stuart, Hussein S. M. Zedan. 143-157
- Semi-Markovian Analysis of Protocol PerformancePieter S. Kritzinger, Graham Wheeler. 159-172
- Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOSArturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes. 175-189
- Formal Specification, Validation and Performance Evaluation of the Xpress Transfer ProtocolStanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi. 191-206
- An Evolutionary Approach to the Development of Complex Protocol StandardsCaroline Andrae, Reinhard Gotzhein, Simone Sédillot. 207-222
- Assessment of ESTELLE and EDT Through Real Case StudiesSerge Haddad, Mohamed Taghelit, Belhassen Zouari. 223-238
- Conformance Testing of Protocol Machines without ResetMing Yu Yao, Alexandre Petrenko, Gregor von Bochmann. 241-256
- Refusal Graphs for Conformance Tester Generation and Simplification: A Computational FrameworkKhalil Drira, Pierre Azéma, François Vernadat. 257-272
- Automated Generation of Test Purposes for the OSE Distributed Transaction Processing ProtocolR. M. Barker, F. A. Brady. 273-288
- A Metric Based Theory of Test Selection and CoverageJadranka Alilovic-Curgus, Son T. Vuong. 289-304
- Synthesis of Protocols and Protocol Converters Using the Submodule Construcion ApproachSamir G. Kelekar, George W. Hart. 307-322
- Specifiying and Proving Communication Closedness in ProtocolsWil Janssen, Job Zwiers. 323-339
- Action Refinement in LOTOSJean-Pierre Courtiat, Djamel-Eddine Saïdouni. 341-354
- An Engineering Approach to Formal MethodsKenneth J. Turner. 357-380