Industrial-Strength Formal Methods in Practice
By: edited by Michael G. Hinchey, Jonathan P. Bowen
Contributors: Bowen, Jonathan P.
Series: Formal Approaches to Computing and Information Technology (FACIT); Formal Approaches to Computing and Information Technology (FACIT)
Publisher: Springer London; Imprint; Springer
Published: 1999
Place of publication: London
Language: eng
Format: [electronic resource] /
Number of pages: 400
ISBN-13: 9781447105237
Table of contents: title: It's Greek to Me : Method in the Madness?- The French Population Census for 1990; title: The Formal Verification of a Payment System; title: Specification of a Chemical Process Controller in B; title: Formal Analysis of the Motorola CAP DSP; title: Bridging the e-Business Gap Through Formal Verification; title: Retrospective Formal Verification of Reactor Protection System Software; title: Scheduling and Rescheduling of Trains; title: Lessons from the Formal Development of a Radiation Therapy Machine Control Process; title: Using Formal Methods to Develop an ATC Information System; title: Rigorous Review Techniques; title: Analyzing Z Specifications with Z/EVES; title: How to Construct Formal Arguments that Persuade Certifiers; title: Formal Methods Through Domain Engineering; title: Cleanroom Software Engineering; Theory and Practice; title: References; title: Index.