Application of Abstract Interpretation to the Automotive Electronic Control System.

Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura

Browse the full VMCAI paper archive.