Explore projects
-
-
Updated
-
-
-
Updated
-
Updated
-
-
LiVe / zaama
GNU General Public License v3.0 onlyconstrained monotonic abstraction for counter machines
Updated -
Various code used by the humanoid lab at Linköping University
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
-
The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.
Updated -
Updated
-
Updated