Scalable Bit-precise Formal Verification of Embedded Software

Nannan He · LAP LAMBERT Academic Publishing