FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

Incluye referencias bibliográficas e índice.

- How did Software get so Reliable Without Proof?/ C. A. R. Hoare -- - A Case Study on the Formal Development of a Reactor Safety System / Terje Sivertsen -- - Test Automation for Safety-Critical Systems: Industrial Application and Future Developments / Jan Peleska -- - Quantitative Analysis of an Application of Formal Methods /J. Bicarregui, J. Dick and E. Woods -- - Applying the B Technologies to CICS /J. Hoare, J. Dick, D. Neilson and I. SCrensen -- - Refining Action Systems within B-Tool / M. Waldén and K. Sere -- - Integrating Action Systems and Z in a Medical System Specification / V. Kasurinen and K. Sere -- - Formalizing Anaesthesia: a Case Study in Formal Specification / R. Groenboom, E. Saaman, E. Rotterdam and G. Renardel de Lavalette -- - A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation / J. Martins and J.-P. Hubaux -- - Formalizing New Navigation Requirements for NASA's Space Shuttle / Ben L. Di Vito -- - Combining VDM-SL Specifications with C++ Code / B. Fröhlich and P.G. Larsen -- - Data Reification whithout Explicit Abstraction Functions / T. Clement -- - Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study / T. M. Brookes, J. S. Fitzgerald and P.G. Larsen -- - Visual Verification of Safety and Liveness / A. Valmari and M. Setälä -- - Graphical Development of Consistent System Specifications /B. Schätz, H. HuBmann and M. Broy -- - Deduction in the Verification Support Environment (VSE) / D. Hutter, B. Langenstein, C. Sengler, J. H. Siekmann, W. Stephan and A. Wolpers -- - Consistency and Refinement for Partial Specification in Z / E. Boiten, J. Derrick, H. Bowman and M. Steen -- - Combining Statecharts and Z for the Design of Safety-Critical Control Systems / M. Weber -- - Integrating Real-time Scheduling Theory and Program Refinement / C. Fidge, M. Utting, P. Kearney and I. Hayes -- - Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems /C. Seguin and V. Wiels -- - Local Nondeterminism in Asynchronously Communicating Processes /F. S. de Boer and M. van Hulst -- - Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language/ P. Chalin, P. Grogono and T. Radhakrishnan -- - Formal Specification and Verification of the pGVT Algorithm / B. Kannikeswaran, R. Radhakrishnan, P. Frey, P. Alexander and P. A. Wilsey -- - Automatic Verification of a Hydroelectric Power Plant / R. Pugliese and E. Tronci -- - Experiences in Embedded Scheduling /David M. Jackson -- - Model Checking in Practice: An Analysis of the ACCESS.bus TM Protocol using SPIN/ B. Boigelot and P. Godefroid -- - The Incremental Development of Correct Specifications for Distributed Systems / S. Kleuker and H. Tjabben -- - A Theory of Distributing Train Rescheduling / C. George -- - An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets /L. Shi and P. Nixon -- - From Testing Theory to Test Driver Implementation /J. Peleska and M. Siegel -- - Program Slicing using Weakest Preconditions /J. J. Comuzzi and J. M. Hart -- - A Formal Approach to Architectural Design Patterns / P. S. C. Alencar, D. D. Cowan and C. J. P. Lucena -- - Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development /J. Zwiers, U. Hannemann, Y. Lakhneche, W.-P. de Roever and F. Stomp -- - A Strategic Approach to Transformational Design /J. Bohn and W. Janssen -- - Correct and User-Friendly Implementations of Transformation Systems /Kolyang, T. Santen and B. Wolff -- - An Example of use of Formal Methods to Debug an Embedded Software /A. Arnold, D. Bégay and J.-P. Radoux -- - Experiments in Theorem Proving and Model Checking for Protocol Verification / K. Havelund and N. Shankar -- - Procedure-Level Verification of Real-time Concurrent Systems /F. Wang and C.-T. Lo