![Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE | Proceedings of the conference on Software for citical systems Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE | Proceedings of the conference on Software for citical systems](https://dl.acm.org/cms/asset/672eefe7-716b-4225-b9e6-b2ac51b1bb89/125083.123062.fp.png)
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE | Proceedings of the conference on Software for citical systems
![Regression Testing for Lustre/SCADE Applications: Applied in reaction systems: 9786202802994: Computer Science Books @ Amazon.com Regression Testing for Lustre/SCADE Applications: Applied in reaction systems: 9786202802994: Computer Science Books @ Amazon.com](https://m.media-amazon.com/images/I/41jwyB-MSrL._AC_SY350_QL15_.jpg)
Regression Testing for Lustre/SCADE Applications: Applied in reaction systems: 9786202802994: Computer Science Books @ Amazon.com
![PDF) A Formally Verified Compiler for Lustre | Xavier Leroy, Timothy Bourke, and Lélio Brun - Academia.edu PDF) A Formally Verified Compiler for Lustre | Xavier Leroy, Timothy Bourke, and Lélio Brun - Academia.edu](https://0.academia-photos.com/attachment_thumbnails/55526241/mini_magick20190114-1076-1j2lzgh.png?1547486466)
PDF) A Formally Verified Compiler for Lustre | Xavier Leroy, Timothy Bourke, and Lélio Brun - Academia.edu
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
![PDF] An executable temporal logic to express safety properties and its connection with the language Lustre PDF] An executable temporal logic to express safety properties and its connection with the language Lustre](https://i1.rgstatic.net/publication/2245478_An_executable_temporal_logic_to_express_safety_properties_and_its_connection_with_the_language_Lustre/links/09e415114f8f76eea3000000/largepreview.png)