Computers are being used where no affordable level of testing is adequate. Safety and life critical systems must find a replacement for exhaustive testing to guarantee their correctness. Through a mathematical proof, hardware verification research has focused on device verification and has largely ignored system composition verification. To address these deficiencies, we examine how the current hardware verification methodology can be extended to verify complete systems.
Towards Composition of Verified Hardware Devices
1991
58 pages
Report
No indication
English
A verified and efficient approach towards fatigue validation of safety parts
Automotive engineering | 2011
|Towards a Verified Tool for the Investigation of Transmission Gear Rattle
British Library Conference Proceedings | 2007
|A verified and efficient approach towards fatigue validation of safety parts
Tema Archive | 2011
|