13th International IFIP Symposium on Protocol Specification, Testing and Verification Liege (Belgium), 25-28 May 1993 Organized by the University of Liege and sponsored by IFIP 6.1. Objective and Scope Formal methods are becoming accepted as essential in the development of complex and safety-critical systems such as distributed systems or communication protocols and services. Formal techniques are indispensable to provide specifications that are complete, consistent, precise, concise and unambiguous. A formal specification is an essential prerequisite to any correctness proof method. It is also the best starting point for implementing systems or generating conformance test sequences. The symposium will be a forum for presentation of the state of the art in theory and application of formal methods. There will be several invited speakers of international repute. On the first day of the symposium (25 May 1993), tutorials will provide newcomers with an opportunity to learn the basic concepts of formal methods. Papers have been solicited on the following topics: A. Formal techniques and their enhancements - Theoretical foundations - Quantitative time modelling - True concurrency modelling - Object-oriented modelling - Dynamic configuration modelling - Support of software engineering B. System design with formal techniques - Methodology of design of distributed systems - Software engineering based on formal techniques - Architectural concepts - Application of formal techniques to real case studies - Assessment of formal techniques C. Validation of formal descriptions - Verification methods and their application - Solutions to the state-explosion problem - Advanced simulation techniques - Coverage estimations of validations - Performance analysis based on formal techniques D. Implementation of formal descriptions - Stepwise refinement - Theory of correctness preserving transformations - Action refinement - Generation of programming code or hardware E. Testing based on formal descriptions - Testing theory - Formal notions of conformance - Theory of test selection and coverage F. Tools and assessment of tools - Simulation tools - Verification tools - Implementation and transformation tools - Test sequence generation tools Programme Co-Chairmen A. Danthine, G. Leduc, P. Wolper (Univ. Liege, B) Programme Committee S. Aggarwal (SUNY Binghamton, USA) G. v. Bochmann (Univ. Montreal, CDN) T. Bolognesi (CNUCE, I) E. Brinksma (Univ. Twente, NL) S. Budkowski (INT, F) R. Cleaveland (State U. North Carolina, USA) M. Diaz (LAAS-CNRS, F) G. Holzmann (AT&T Bell Labs, USA) L. Logrippo (Univ. Ottawa, CDN) J. de Meer (GMD, D) J. Parrow (SICS, S) J. Quemada (Univ. Madrid, E) G. Rose (Univ. Queensland, AUS) H. Rudin (IBM, CH) J. Sifakis (IMAG, F) R. de Simone (INRIA, F) M. Sintzoff (Univ. Louvain-la-Neuve, B) K. Turner (Univ. Stirling, UK) A. Valmari (VTT, SF) S. Vuong (Univ. British Columbia, CDN) Venue The symposium will be organised by the University of Liege and held in the Liege Congress Hall. Liege is located one hundred kilometres east of Brussels and can be easily reached by train or car. Liege is a thousand-year-old city whose historical centre will contribute to add a cultural dimension to the technical event. It is recommended to visit its numerous monuments, churches and museums. Contributions A participants' edition of the proceedings will be made available at the symposium and the final proceedings will be published in the IFIP series format by Elsevier (North Holland). Tutorials Two simultaneous one-day tutorials will be organised on 25 May 1993. If interested in PSTV XIII, return the following information (by post or email) to Guy Leduc Universite de Liege au Sart Tilman Institut d'Electricite Montefiore, B28 B - 4000 Liege 1 (Belgium) Phone: + 32 41 56 26 91, Fax: + 32 41 56 29 89 Email: leduc@montefiore.ulg.ac.be [] I would like to receive the final programme of PSTV XIII. First and Last Name: ... Title: ... Affiliation: ... Address: ... ... Tel.: ... Fax: ... Email: ... -------------------------------------------------------------------------------