Towards Verified Systems

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Foreword
Preface
Contact Addresses
Safety-Critical Systems and Formal Methods	p. 3
Overview of the Project	p. 35
The HOL Logic and System	p. 49
Timed Transition Systems	p. 71
State Transition Assertions: A Case Study	p. 93
A Real-time Programming Language	p. 115
Program Compilation	p. 131
A Framework for Microprocessor Design	p. 149
Designing a Processor	p. 167
Hardware Compilation	p. 193
Transfer into Industrial Design	p. 211
App. A System Verification and the CLI Stack	p. 225
App. B The ProCoS Project: Provably Correct Systems	p. 249
Acknowledgements	p. 267
Bibliography	p. 269
Table of Contents provided by Blackwell. All Rights Reserved.

Rent More, Save More! Use code: BBRENTAL