5 ms·
Ivy [1] is another research language built around Z3. Slides from a recent presentation of the language are also available [2]. The concept of exploiting modula
by lou1306 8y ago
Ivy [1] is another research language built around Z3.
Slides from a recent presentation of the language are also available [2]. The concept of exploiting modularity to obtain decidable verification conditions is quite interesting. Plus, it compiles down to C++.
[1]: http://microsoft.github.io/ivy/ http://microsoft.github.io/ivy/
[2]: http://vmcaischool19.tecnico.ulisboa.pt/~vmcaischool19.daemon/wp/wordpress/wp-content/uploads/2019/01/winterschool19.pptx http://vmcaischool19.tecnico.ulisboa.pt/~vmcaischool19.daemo... (PowerPoint slides)