Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in in...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1641 |
| Matèries: | |
| Accés en línia: | 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: | • Applied formal methods--FM Trends 98, International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998, proceedings, Dieter Hutter, Werner Stephan, Paolo Traverso ... [et al.], 1999, Berlin, Springer, 1 vol. (XI-376 p.), Lecture notes in computer science, 3-540-66462-9 • Applied Formal Methods - FM-Trends 98, Texte imprimé, 9783662168325 |
Taula de continguts:
- Invited Papers
- High Level System Design and Analysis Using Abstract State Machines
- Enriching the Software Development Process by Formal Methods
- Regular Papers
- Formal Program Development in Geometric Modeling
- Design of Distributed Multimedia Applications (DAMD)
- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
- Automated Test Set Generation for Statecharts
- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
- Translation Validation: From DC+ to C
- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
- A Lightweight Approach to Formal Methods
- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
- Integrating Domain Specific Language Design in the Software Life Cycle
- Flexible and Reliable Process Model Properties: An Integrated Approach
- A Symbolic Model Checker for ACTL
- Critical Systems Validation and Verification with CSP and FDR
- UniForM Perspectives for Formal Methods
- The UniForM WorkBench A Higher Order Tool Integration Framework
- Application Papers
- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process
- Tool Papers
- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture
- The IFAD VDM Tools
- KIV 3.0 for Provably Correct Systems
- PVS: An Experience Report
- Overview over the Project Quest
- VSE: Controlling the Complexity in Formal Software Developments
- The wHOLe System
- Z/EVES Version 1.5: An Overview.