This is the repository of a work-in-progress tool called LDisplay. LDisplay is an HMI design DSL with a Lustre-like syntax.
This repository contains a prototype compiler for further work on formal verification.
This is the repository of a work-in-progress tool called LDisplay. LDisplay is an HMI design DSL with a Lustre-like syntax.
This repository contains a prototype compiler for further work on formal verification.