Towards a verified Lustre compiler with modular reset.

Timothy Bourke, Llio Brun, Marc Pouzet

Browse the full SCOPES paper archive.