Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools
Author:
Ngo Van-Chan1,
Talpin Jean-Pierre1,
Gautier Thierry1,
Besnard Loïc1,
Le Guernic Paul1
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verified Lustre Normalization with Node Subsampling;ACM Transactions on Embedded Computing Systems;2021-10-31
2. A formally verified compiler for Lustre;ACM SIGPLAN Notices;2017-09-14
3. A formally verified compiler for Lustre;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14