Applications of Formal Methods
Michael Gerard Hinchey, Jonathan Peter Bowen
Prentice Hall, Jan 1, 1995 - Technology & Engineering - 447 pages
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
6 pages matching replaced in this book
Results 1-3 of 6
What people are saying - Write a review
We haven't found any reviews in the usual places.
Using Mathematical Models in the Inspection
Gaining Assurance with Formal Methods
Formal Specification of an Architecture for
15 other sections not shown
AAMP AAMP5 abstract machine algorithm AMSU analysis application approach architecture B-Method B-Toolkit behaviour binary relation bit vector buffer button cabin candidate CICS complex components correctness defined definition described document errors event classes example execution Figure first-order logic formal development formal methods formal specification formal verification function gate gate-tr hardware IFAD illumination units implementation initial input instruction interface invariant Jackson diagrams logic macroarchitecture MALPAS mathematical memory microcode microinstruction microprocessor modules monitor MSMIE night light notation Nqthm operation oscilloscope output partial specification performed processor proof obligations properties protocol prover requirements result safety safety-critical schema Section semantics signal Sizewell software engineering stack cache structure switching techniques Tektronix testing theorem theory THEta tion train train-tr update valid variables VDM-SL verification conditions voting papers waveforms zone