Complete Formal Verification of a Family of Automotive DSPs

Author(s):
Rafal Baranowski and Marco Trunzer