2 ms·

Have you seen the language Esterel?

• snaky 8y ago
  My impression is it's rather low-level verification and modelling language comparing to the platforms like Kami (https://deepspec.org/entry/Project/Kami https://deepspec.org/entry/Project/Kami)