Projects with this topic
Sort by:
-
Collection of Verification Tasks
Updated -
Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).
Updated -
Software project for the Software verification course (UNIPD). It implements an abstract interpreter for a (toy) imperative language
UpdatedUpdated