Special issue of "Science of Computer Programming"
A special issue of the Elsevier Journal on Science of Computer Programming is forthcoming. Edited by Jorge Cuellar, Stefania Gnesi, and Diego Latella, this special issue is dedicated to the application of formal methods in the industry and contains contributions from members of the ERCIM FMICS Working Group.
Science of Computer Programming
An Elsevier Journal
Table of Contents
Vol. 36, Issue 1, January 2000
Special Issue on the Application of Formal Methods in Industrial Critical Systems
Jorge Cuellar, Stefania Gnesi, and Diego Latella (editors)
- ESTEREL: a Formal Method Applied to Avionic Software Development
G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. De Simone
- Verification of a Safety Critical Railway Interlocking
System with Real-Time Contraints
V. Hartonas-Garmhausen, S. Campos, A. Cimatti, E. Clarke, and F. Giunchiglia
- Verification and Test Generation for SSCOP Protocol
M. Bozga, J.C. Fernandez, L. Ghirvu, C. Jard, T. Jeron, A. Kerbrat, P. Morel, and L. Mounier
- The Need For Theorem Proving When Analyzing State-Based Requirements: An Experience Report
Mats P. E. Heimdahl and Barbara Czerny
- Automated Compositional Markov Chains Generations for POTS
H. Hermanns and J.-P. Katoen
Back to the ERCIM FMICS Home Page