Applications of Formal MethodsMichael Gerard Hinchey, Jonathan Peter Bowen This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance. |
Contents
Using Mathematical Models in the Inspection | 17 |
Gaining Assurance with Formal Methods | 33 |
Formal Specification of an Architecture for | 55 |
Copyright | |
15 other sections not shown
Common terms and phrases
AAMP AAMP5 abstract machine algorithm AMSU analysis application approach architecture B-Method B-Toolkit behaviour binary relation bit vector buffer button C.A.R. Hoare cabin candidate CICS complex components Computer correctness defined definition described errors event classes example execution Figure first-order logic formal methods formal specification formal verification function gate gate-tr hardware IEEE IFAD illumination units implementation input instruction interface invariant Jackson diagrams logic macroarchitecture mathematical memory microarchitecture microcode microinstruction microprocessor modules MSMIE night light notation Nqthm operation oscilloscope output partial specification performed processor proof obligations properties protocol requirements result safety safety-critical schema Section semantics signal Sizewell Software Engineering stack cache structure switching techniques testing theorem theory THETA tion train train-tr update valid variables VDM-SL verification conditions voting papers waveforms wdir Z notation zone