Industrial-Strength Formal Methods in Practice / edited by Michael G. Hinchey, Jonathan P. Bowen.
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introducti...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Main Author: | |
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
London :
Springer London : Imprint : Springer,
1999.
|
Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
Subjects: |
Table of Contents:
- It's Greek to Me : Method in the Madness?- The French Population Census for 1990
- The Formal Verification of a Payment System
- Specification of a Chemical Process Controller in B
- Formal Analysis of the Motorola CAP DSP
- Bridging the e-Business Gap Through Formal Verification
- Retrospective Formal Verification of Reactor Protection System Software
- Scheduling and Rescheduling of Trains
- Lessons from the Formal Development of a Radiation Therapy Machine Control Process
- Using Formal Methods to Develop an ATC Information System
- Rigorous Review Techniques
- Analyzing Z Specifications with Z/EVES
- How to Construct Formal Arguments that Persuade Certifiers
- Formal Methods Through Domain Engineering
- Cleanroom Software Engineering; Theory and Practice
- References
- Index.