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
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science
1051 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Marie-Claude Gaudel, James Woodcock (eds.), 1996, Berlin, Springer, 1 vol. (XII-704 p.), Lecture notes in computer science, 3-540-60973-3 • FME '96: Industrial Benefit and Advances in Formal Methods, Texte imprimé, 9783662181423 |
Sumário:
- How did software get so reliable without proof?
- A case study on the formal development of a reactor safety system
- Test automation for safety-critical systems: Industrial application and future developments
- Quantitative analysis of an application of formal methods
- Applying the B technologies to CICS
- Refining action systems within B-Tool
- Integrating action systems and Z in a medical system specification
- Formalizing Anaesthesia: A case study in formal specification
- A new system engineering methodology coupling formal specification and performance evaluation
- Formalizing new navigation requirements for NASA's Space Shuttle
- Combining VDM-SL specifications with C++ code
- Data reification without explicit abstraction functions
- Formal and informal specifications of a secure system component: Final results in a comparative study
- Visual verification of safety and liveness
- Graphical development of consistent system specifications
- Deduction in the Verification Support Environment (VSE)
- Consistency and refinement for partial specification in Z
- Combining statecharts and Z for the design of safety-critical control systems
- Integrating real-time scheduling theory and program refinement
- Using a logical and categorical approach for the validation of fault-tolerant systems
- Local nondeterminism in asynchronously communicating processes
- Identification of and solutions to shortcomings of LCL, a Larch/C interface specification language
- Formal specification and verification of the pGVT algorithm
- Automatic verification of a hydroelectric power plant
- Experiences in embedded scheduling
- Model checking in practice: An analysis of the ACCESS.bus protocol using SPIN
- The incremental development of correct specifications for distributed systems
- Atheory of distributing train rescheduling
- An improved translation of SA/RT specification model to high-level timed Petri nets
- From testing theory to test driver implementation
- Program slicing using weakest preconditions
- A formal approach to architectural design patterns
- Modular completeness: Integrating the reuse of specified software in top-down program development
- A strategic approach to transformational design
- Correct and user-friendly implementations of transformation systems
- An example of use of formal methods to debug an embedded software
- Experiments in theorem proving and model checking for protocol verification
- Procedure-level verification of real-time concurrent systems.