Towards a verified Lustre compiler with modular reset

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18 ◽

10.1145/3207719.3207732 ◽

2018 ◽

Author(s):

Timothy Bourke ◽

Lélio Brun ◽

Marc Pouzet

Download Full-text