Re:Remote code execution vulnerability in SQLite
by snaky on Friday December 14, 2018 @06:48PM
(#18685972)
Especially considering you could generate faster C code than written by hand. With Proofs, Without Compromises http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP1...
[ Parent
| on HN ]
Re:Remote code execution vulnerability in SQLite
by nichochar on Friday December 14, 2018 @06:50PM
(#18685982)
Have you seen the language Esterel?
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)