Formal Methods for Industrial Applications

Formal Methods for Industrial Applications

4.11 - 1251 ratings - Source

In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The CD-ROM contains the 21 papers included in the book, together with executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.Like the management policy for pumps, also the policy for keeping the water level within the prescribed limits is left ... Every measurement is subject to some error, and the values obtained by the sensors for the water level and the steam flowanbsp;...

Title:Formal Methods for Industrial Applications
Author:Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Publisher:Springer Science & Business Media - 1996-10-30


You Must CONTINUE and create a free account to access unlimited downloads & streaming