Login / Signup

A K-Induction Method Extended with Value Analysis for C Program Safety Verification.

Hui GuoChunyan HouJinsong WangChen Chen
Published in: TrustCom (2022)
Keyphrases