Sold Out
Book Categories |
Foreword | ||
Preface | ||
Contact Addresses | ||
1 | Safety-Critical Systems and Formal Methods | 3 |
2 | Overview of the Project | 35 |
3 | The HOL Logic and System | 49 |
4 | Timed Transition Systems | 71 |
5 | State Transition Assertions: A Case Study | 93 |
6 | A Real-time Programming Language | 115 |
7 | Program Compilation | 131 |
8 | A Framework for Microprocessor Design | 149 |
9 | Designing a Processor | 167 |
10 | Hardware Compilation | 193 |
11 | Transfer into Industrial Design | 211 |
App. A System Verification and the CLI Stack | 225 | |
App. B The ProCoS Project: Provably Correct Systems | 249 | |
Acknowledgements | 267 | |
Bibliography | 269 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionTowards Verified Systems
X
This Item is in Your InventoryTowards Verified Systems
X
You must be logged in to review the productsX
X
X
Add Towards Verified Systems, , Towards Verified Systems to the inventory that you are selling on WonderClubX
X
Add Towards Verified Systems, , Towards Verified Systems to your collection on WonderClub |