Author: Jean-Raymond Abrial
Publisher: Springer Science & Business Media
ISBN: 9783540619291
Size: 62.95 MB
Format: PDF, ePub, Docs
Category : Business & Economics
Languages : en
Pages : 509
View: 7596
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: 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 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
Get This Book
Author: Constance Heitmeyer
Publisher: John Wiley & Sons Incorporated
ISBN:
Size: 17.12 MB
Format: PDF, ePub, Docs
Category : Computers
Languages : en
Pages : 271
View: 2327
For safety-critical computer sustems, like air-traffic control or security systems, real-time development is crucial. This book covers state-of-art developments of formal methods for creating real-time systems that will satisfy critical timing requirements. It demonstrates the techniques and applications needed for developing such systems.
Get This Book
Author: IEEE Circuits and Systems Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780780336629
Size: 46.35 MB
Format: PDF, ePub, Docs
Category : Computers
Languages : en
Pages : 691
View: 5570
The Asia and South Pacific conference on design automation is the second in a series of biennial international conferences. It aims to provide the CAD/DA community with the opportunity to present ideas and concepts on upperstream design as well as methodologies of downstream design.
Get This Book
Author:
Publisher:
ISBN:
Size: 73.18 MB
Format: PDF, ePub, Docs
Category :
Languages : en
Pages :
View: 5367