|
Modeling in event-b
|
Jean-Raymond Abrial |
"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism… |
OL16918349W |
|
Applications of formal methods
|
Michael G. Hinchey,J. P. Bowen |
Interest in formal methods continues to grow; unfortunately myths and misconceptions regarding their benefits and application continue to grow also. Applications of Formal Methods is a collection of … |
OL19601104W |
|
Formal Aspects of Component Software
|
Farhad Arbab |
<p>This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. </p><p>The 18 full paper… |
OL19850807W |
|
Formal Methods for Components and Objects
|
Bernhard Beckert |
<p>Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large sys… |
OL19850837W |
|
Software Specification Methods
|
Henri Habrias |
This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follo… |
OL19902803W |
|
Formal methods for real-time computing
|
Constance Heitmeyer,Dino Mandrioli |
xvii, 271 p. : 24 cm |
OL23611550W |