Re:Remote code execution vulnerability in SQLite
by nichochar on Friday December 14, 2018 @06:50PM
(#18685982)
Have you seen the language Esterel?
[ Parent
| on HN ]
Re:Remote code execution vulnerability in SQLite
by snaky on Friday December 14, 2018 @08:12PM
(#18686364)
My impression is it's rather low-level verification and modelling language comparing to the platforms like Kami (https://deepspec.org/entry/Project/Kami)