OACV: OCL-based Avionics Component Verification

Pei Hong, Chunling Sheng, Xiaohu Luo, Yueyuan Jin, Ruonan Rao. OACV: OCL-based Avionics Component Verification. In HP3C 2020: 4th International Conference on High Performance Compilation, Computing and Communications, Guangzhou, China, June, 2020. pages 129-134, ACM, 2020. [doi]

Abstract

Abstract is missing.