| emsoft | participants

Xavier Rival

EMSOFT 2018: 18th International Conference on Embedded Software

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions

Jiangchao Liu, Liqian Chen, and Xavier Rival