3 ms·
For more on program synthesis and verification see also the Leon system by Viktor Kuncak et al.[1] [1] http://lara.epfl.ch/w/ http://lara.epfl.ch/w/
by whaaswijk 11y ago
For more on program synthesis and verification see also the Leon system by Viktor Kuncak et al.[1]
[1] http://lara.epfl.ch/w/ http://lara.epfl.ch/w/