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. |