![[cover]](../w/covers/9119.jpg)
Jeannette M. Wing, Jim Woodcock, Jim Davies, editors. FM'99 volume 1: World Congress on Formal Methods, Toulouse, September 1999. Springer. 1999
Contents
- • C. A. R. Hoare.
- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle
- • Cliff B. Jones.
- Scientific Decisions which Characterize VDM
- • John M. Rushby.
- Mechanized Formal Methods: Where Next?
- • Joseph Sifakis.
- Integration, the Price of Success (extended abstract)
- • Michael Jackson.
- The Role of Formalism in Method (abstract)
- • Eric Conquet, Jean-Luc Marty.
- Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.
- • Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers.
- A Business Process Design Language
- • Jan Philipps, Bernhard Rumpe.
- Refinement of Pipe-and-Filter Architectures
- • John Herbert, Bruno Dutertre, Robert Riemenschneider, Victoria Stavridou.
- A Formalization of Software Architecture
- • Reino Kurki-Suonio.
- Component and Interface Refinement in Closed-System Specifications
- • Dusko Pavlovic.
- Semantics of First Order Parametric Specifications
- • Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan.
- A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software
- • Frank Reffel, Stefan Edelkamp.
- Error Detection with Directed Symbolic Model Checking
- • Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar, Insup Lee.
- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
- • Stavros Tripakis, Karine Altisen.
- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
- • Jean-Michel Couvreur.
- On-the-Fly Verification of Linear Temporal Logic
- • David Deharbe, Anamaria Martins Moreira.
- Symbolic Model Checking with Fewer Fixpoint Computations
- • Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini.
- Formula Based Abstractions of Transition Systems for Real-Time Model Checking
- • Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier.
- IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
- • Farn Wang.
- Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes
- • Denis Sabatier, Pierre Lartigue.
- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
- • Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier.
- Meteor: A Successful Application of B in a Large Project
- • Brian Matthews, Elvira Locuratolo.
- Formal Development of Databases in ASSO and B
- • Yann Rouzaud.
- Interpreting the B-Method in the Refinement Calculus
- • Martin Buchi, Ralph-Johan Back.
- Compositional Symmetric Sharing in B
- • Cesar Munoz, John M. Rushby.
- Structural Embeddings: Mechanization with Method
- • Steve Dunne.
- The Safe Machine: A New Specification Construct for B
- • Michael J. Butler.
- csp2B: A Practical Approach to Combining CSP and B
- • Salimeh Behnia, Helene Waeselynck.
- Test Criteria Definition for B Models
- • Richard F. Paige, Eric C. R. Hehner.
- Bunches for Object-Oriented, Concurrent, and Real-Time Specification
- • Enn Tyugu, Mihhail Matskin, Jaan Penjam.
- Applications of Structural Synthesis of Programs
- • Michel Charpentier, K. Mani Chandy.
- Towards a Compositional Approach to the Design and Verification of Distributed Systems
- • Andre Wong, Marsha Chechik.
- Formal Modeling in a Commercial Setting: A Case Study
- • Igor Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter.
- KVEST: Automated Generation of Test Suites from Formal Specifications
- • Lydie du Bousquet.
- Feature Interaction Detection Using Testing and Model-Checking Experience Report
- • Nisse Husberg, Tapio Manner.
- Emma: Developing an Industrial Reachability Analyser for SDL
- • Jean-Francois Monin, Francis Klay.
- Correctness Proof of the Standardized Algorithm for ABR Conformance
- • Thomas Arts, Mads Dam.
- Verifying a Distributed Database Lookup Manager Written in Erlang
- • Fred Gilham, R. A. Riemenschneider, Victoria Stavridou.
- Secure Interoperation of Secure Distributed Databases
- • Volkmar Lotz, Volker Kessler, Georg Walter.
- A Formal Security Model for Microprocessor Hardware
- • Steve Schneider.
- Abstraction and Testing
- • Dan Zhou, Shiu-Kai Chin.
- Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol
- • Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov.
- Probabilistic Polynomial-Time Equivalence and Security Analysis
- • Riccardo Focardi, Fabio Martinelli.
- A Uniform Approach for the Definition of Security Properties
- • Paul F. Syverson, Stuart G. Stubblebine.
- Group Principals and the Formalization of Anonymity
- • Richard F. Paige, Jonathan S. Ostroff.
- Developing BON as an Industrial-Strength Formal Method
- • Luis Mandel, Maria Victoria Cengarle.
- On the Expressive Power of OCL
- • Eric Meyer, Jeanine Souquieres.
- A Systematic Approach to Transform OMT Diagrams to a B Specification
- • Shaoying Liu.
- Verifying Consistency and Validity of Formal Specifications by Testing
- • Marine Tabourier, Ana R. Cavalli, Melania Ionescu.
- A GSM-MAP Protocol Experiment Using Passive Testing
![[cover]](../w/covers/1709.jpg)