default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd FME 1996: Oxford, UK
- Marie-Claude Gaudel, Jim Woodcock
:
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. Lecture Notes in Computer Science 1051, Springer 1996, ISBN 3-540-60973-3
Invited Lectures
- C. A. R. Hoare:
How Did Software Get So Reliable Without Proof? 1-17 - Terje Sivertsen:
A Case Study on the Formal Development of a Reactor Safety System. 18-38 - Jan Peleska:
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. 39-59
B
- Juan Bicarregui, Jeremy Dick, Eoin Woods:
Quantitative Analysis of an Application of Formal Methods. 60-73 - Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen:
Applying the B Technologies on CICS. 74-84
Action Systems
- Marina Waldén, Kaisa Sere:
Refining Action Systems within B-Tool. 85-104 - V. Kasurinen, Kaisa Sere:
Integrating Action Systems and Z in a Medical System Specification. 105-119
Requirements
- Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette:
Formalizing Anaesthesia: a case study in formal specification. 120-139 - Juan-José Martins, Jean-Pierre Hubaux:
A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. 140-159 - Ben L. Di Vito:
Formalizing New Navigation Requirements for NASA's Space Shuttle. 160-178
VDM
- Brigitte Fröhlich, Peter Gorm Larsen:
Combining VDM-SL Specifications with C++ Code. 179-194 - Tim Clement:
Data Reification without Explicit Abstraction Functions. 195-213 - T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen:
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. 214-227
User Interfacts for Formal Methods
- Antti Valmari, Manu Setälä:
Visual Verification of Safety and Liveness. 228-247 - Bernhard Schätz, Heinrich Hußmann, Manfred Broy:
Graphical Development of Consistent System Specifications. 248-267 - Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers:
Deduction in the Verification Support Environment (VSE). 268-286
Z
- Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
Consistency and Refinement for Partial Specification in Z. 287-306 - Matthias Weber:
Combining Statecharts and Z for the Design of Safety-Critical Control Systems. 307-326 - Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes:
Integrating Real-Time Scheduling Theory and Program Refinement. 327-346
Distributed Systems (1)
- Christel Seguin, Virginie Wiels:
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. 347-366 - Frank S. de Boer, M. van Hulst:
Local Nondeterminism in Asynchronously Communicating Processes. 367-384
Larch and LP
- Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan:
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. 385-404 - Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey:
Formal Specification and Verification of the pGVT Algorithm. 405-424
Model Checking
- Rosario Pugliese, Enrico Tronci:
Automatic Verification of a Hydroelectric Power Plant. 425-444 - David M. Jackson:
Experiences in Embedded Scheduling. 445-464 - Bernard Boigelot, Patrice Godefroid:
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. 465-478
Distributed Systems
- Stephan Kleuker, Hermann Tjabben:
The Incremental Development of Correct Specifications for Distributed Systems. 479-498 - Chris George:
A Theory of Distributing Train Rescheduling. 499-517 - Lihua Shi, Paddy Nixon:
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. 518-537
Testing and Debugging
- Jan Peleska, Michael Siegel:
From Testing Theory to Test Driver Implementation. 538-556 - Joseph J. Comuzzi, Johnson M. Hart:
Program Slicing Using Weakest Preconditions. 557-575
Architecture and Reuse
- Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
A Formal Approach to Architectural Design Patterns. 576-594 - Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp:
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. 595-608
Transformations
- Jürgen Bohn, Wil Janssen:
A Strategic Approach to Transformational Design. 609-628 - Kolyang, Thomas Santen, Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems. 629-648
Model Checking
- André Arnold, Didier Bégay, Jean-Pierre Radoux:
An Example of Use of Formal Methods to Debug an Embedded Software. 649-661 - Klaus Havelund, Natarajan Shankar:
Experiments in Theorem Proving and Model Checking for Protocol Verification. 662-681 - Farn Wang, Chia-Tien Dan Lo:
Procedure-Level Verification of Real-time Concurrent Systems. 682-701
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
