Abstract is missing.
- Theories of Programming: Top-Down and Bottom-Up and Meeting in the MiddleC. A. R. Hoare. 1-27 [doi]
- Scientific Decisions which Characterize VDMCliff B. Jones. 28-47 [doi]
- Mechanized Formal Methods: Where Next?John M. Rushby. 48-51 [doi]
- Integration, the Price of SuccessJoseph Sifakis. 52-55 [doi]
- The Role of Formalism in MethodMichael Jackson. 56 [doi]
- Formal Design for Automatic Coding and Testing: The ESSI/SPACES ProjectEric Conquet, Jean-Luc Marty. 57-75 [doi]
- A Business Process Design LanguageHenk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers. 76-95 [doi]
- Refinement of Pipe-and-Filter ArchitecturesJan Philipps, Bernhard Rumpe. 96-115 [doi]
- A Formalization of Software ArchitectureJohn Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou. 116-133 [doi]
- Component and Interface Refinement in Closed-System SpecificationsReino Kurki-Suonio. 134-154 [doi]
- Semantics of First Order Parametric SpecificationsDusko Pavlovic. 155-172 [doi]
- A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life SoftwareYonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan. 173-194 [doi]
- Error Detection with Directed Symbolic Model CheckingFrank Reffel, Stefan Edelkamp. 195-211 [doi]
- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot CoordinationRajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar, Insup Lee. 212-232 [doi]
- On-the-Fly Controller Synthesis for Discrete and Dense-Time SystemsStavros Tripakis, Karine Altisen. 233-252 [doi]
- On-the-Fly Verification of Linear Temporal LogicJean-Michel Couvreur. 253-271 [doi]
- Symbolic Model Checking with Fewer Fixpoint ComputationsDavid Déharbe, Anamaria Martins Moreira. 272-288 [doi]
- Formula Based Abstractions of Transition Systems for Real-Time Model CheckingRoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. 289-306 [doi]
- IF: An Intermediate Representation and Validation Environment for Timed Asynchronous SystemsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier. 307-327 [doi]
- Automatic Verification of Pointer Data-Structure Systems for All Numbers of ProcessesFarn Wang. 328-347 [doi]
- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card ApplicationsDenis Sabatier, Pierre Lartigue. 348-368 [doi]
- Météor: A Successful Application of B in a Large ProjectPatrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier. 369-387 [doi]
- Formal Development of Databases in ASSO and BBrian Matthews, Elvira Locuratolo. 388-410 [doi]
- Interpreting the B-Method in the Refinement CalculusYann Rouzaud. 411-430 [doi]
- Compositional Symmetric Sharing in BMartin Büchi, Ralph-Johan Back. 431-451 [doi]
- Structural Embeddings: Mechanization with MethodCésar Muñoz, John M. Rushby. 452-471 [doi]
- The Safe Machine: A New Specification Construct for BSteve Dunne. 472-489 [doi]
- csp2B: A Practical Approach to Combining CSP and BMichael J. Butler. 490-508 [doi]
- Test Criteria Definition for B ModelsSalimeh Behnia, Hélène Waeselynck. 509-529 [doi]
- Bunches for Object-Oriented, Concurrent, and Real-Time SpecificationRichard F. Paige, Eric C. R. Hehner. 530-550 [doi]
- Applications of Structural Synthesis of ProgramsEnn Tyugu, Mihhail Matskin, Jaan Penjam. 551-569 [doi]
- Towards a Compositional Approach to the Design and Verification of Distributed SystemsMichel Charpentier, K. Mani Chandy. 570-589 [doi]
- Formal Modeling in a Commercial Setting: A Case StudyAndre Wong, Marsha Chechik. 590-607 [doi]
- KVEST: Automated Generation of Test Suites from Formal SpecificationsIgor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter. 608-621 [doi]
- Feature Interaction Detection Using Testing and Model-Checking Experience ReportLydie du Bousquet. 622-641 [doi]
- Emma: Developing an Industrial Reachability Analyser for SDLNisse Husberg, Tapio Manner. 642-661 [doi]
- Correctness Proof of the Standardized Algorithm for ABR ConformanceJean-François Monin, Francis Klay. 662-681 [doi]
- Verifying a Distributed Database Lookup Manager Written in ErlangThomas Arts, Mads Dam. 682-700 [doi]
- Secure Interoperation of Secure Distributed DatabasesFred Gilham, Robert A. Riemenschneider, Victoria Stavridou. 701-717 [doi]
- A Formal Security Model for Microprocessor HardwareVolkmar Lotz, Volker Kessler, Georg Walter. 718-737 [doi]
- Abstraction and TestingSteve Schneider. 738-757 [doi]
- Formal Analysis of a Secure Communication Channel: Secure Core-Email ProtocolDan Zhou, Shiu-Kai Chin. 758-775 [doi]
- Probabilistic Polynomial-Time Equivalence and Security AnalysisPatrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov. 776-793 [doi]
- A Uniform Approach for the Definition of Security PropertiesRiccardo Focardi, Fabio Martinelli. 794-813 [doi]
- Group Principals and the Formalization of AnonymityPaul F. Syverson, Stuart G. Stubblebine. 814-833 [doi]
- Developing BON as an Industrial-Strength Formal MethodRichard F. Paige, Jonathan S. Ostroff. 834-853 [doi]
- On the Expressive Power of OCLLuis Mandel, María Victoria Cengarle. 854-874 [doi]
- A Systematic Approach to Transform OMT Diagrams to a B SpecificationEric Meyer, Jeanine Souquières. 875-895 [doi]
- Verifying Consistency and Validity of Formal Specifications by TestingShaoying Liu. 896-914 [doi]
- A GSM-MAP Protocol Experiment Using Passive TestingMarine Tabourier, Ana R. Cavalli, Melania Ionescu. 915-934 [doi]