Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Browse the full CAV paper archive.