Abstract is missing.
- Software Configuration with Information SystemsSlim Ben Lamine, John Plaice. 1-15
- Head-Tactics SimplificationYves Bertot. 16-29
- Iteration 2-Theories: Extended AbstractStephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes. 30-44
- Model Checking and Fault ToleranceGlenn Bruns, Ian Sutherland. 45-59
- Deadlock Analysis for a Fault-Tolerant SystemBettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi. 60-74
- From Sequential to Multi-Threaded Java: An Event-Based Operational SemanticsPietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. 75-90
- Permissive Subsorted Partial Logic in CASLMaura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. 91-107
- Specification of Timing Constraints within the Circal Process AlgebraAntonio Cerone, George J. Milne. 108-122
- On the Specification and Verification of Performance Properties for a Timed Process AlgebraXiao Jun Chen, Flavio Corradini. 123-137
- Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)Patrick Cousot, Radhia Cousot. 138-154
- Modular Refinement and Model BuildingMartin de Groot, Ken Robinson. 155-169
- A Linear Temporal Logic Approach to Objects with TransactionsGrit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas. 170-184
- Software Design, Specification, and Verification: Lessons Learned from the Rether Case StudyXiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka. 185-198
- Refinement Rules for Real-Time Multi-tasking ProgramsColin J. Fidge. 199-215
- Rigorous Object-Oriented Modeling: Integrating Formal and Informal NotationsRobert B. France, Jean-Michel Bruel, María M. Larrondo-Petrie, Emanuel S. Grant. 216-230
- Completeness in Abstract Interpretation: A Domain PerspectiveRoberto Giacobazzi, Francesco Ranzato. 231-245
- Floating Point Verification in HOL Light: The Exponential FunctionJohn Harrison. 246-260
- Verification of Distributed Real-Time and Fault-Tolerant ProtocolsJozef Hooman. 261-275
- Invariants, Bisimulations and the Correctness of Coalgebraic RefinementsBart Jacobs. 276-291
- On Bisimulation, Fault-Monotonicity and Provable Fault-ToleranceTomasz Janowski. 292-306
- Span(Graph): A Categorial Algebra of Transition SystemsPiergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters. 307-321
- Representing Place/Transition Nets in Span(Graph)Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters. 322-336
- Invariants of Parameterized Binary Tree Networks as Greatest FixpointsDavid Lesens. 337-350
- Modelling Specification Construction by Successive ApproximationsNicole Lévy, Jeanine Souquières. 351-364
- On Partial Validation of Logic ProgramsSébastien Limet, Frédéric Saubion. 365-379
- Preservation and Reflection in SpecificationAntónia Lopes, José Luiz Fiadeiro. 380-394
- Case Studies in Using a Meta-Method for Formal Method IntegrationRichard F. Paige. 395-408
- The Update Calculus (Extended Abstract)Joachim Parrow, Björn Victor. 409-423
- Selective Attribute Elimination for Categorial Data SpecificationsFrank Piessens, Eric Steegmans. 424-436
- ATM Switch Design: Parametric High-Level Modeling and Formal VerificationSreeranga P. Rajan, Masahiro Fujita. 437-450
- The Hidden Function Question RevisitedArno Schönegge. 451-464
- Synchronization of Logics with Mixed Rules: Completeness PreservationAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro. 465-478
- Symbolic Bisimulation for Full LOTOSCarron Shankland, Muffy Thomas. 479-493
- Algebraic Composition and Refinement of ProofsMartin Simons, Michel Sintzoff. 494-508
- Ensuring Streams FlowAlastair Telford, David Turner. 509-523
- Extending Process Languages with TimeIrek Ulidowski, Shoji Yuen. 524-538
- Parametric Analysis of Computer SystemsFarn Wang, Pao-Ann Hsiung. 539-553
- CAMILA: Prototyping and Refinement of Constructive SpecificationsJosé João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira. 554-559
- PAMELA + PVSBettina Buth. 560-562
- The Circal SystemAntonio Cerone, Alex J. Cowie, George J. Milne. 563-564
- Refinement-Type Checker for Standard MLRowan Davies. 565-566
- Recording HOL Proofs in a Structured Browsable FormatJim Grundy, Thomas Långbacka. 567-571
- Analysing Multi-Agent System Traces with IDaFC. K. Low. 572-573
- DOVE: A Tool for Design Oriented Verification and EvaluationMaris A. Ozols, Katherine A. Eastaughffe, Anthony Cant. 574-575
- The B Method and the B ToolkitKen Robinson. 576-580
- An Algebraic Language Processing EnvironmentTeodor Rus, Tom Halverson, Eric {Van Wyk}, Robert Kooima. 581-585
- The Cogito Development SystemOwen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman. 586-591