Verimag Polyhedra Library
-
Updated
Jun 23, 2020 - OCaml
Verimag Polyhedra Library
pyApron: A library for numerical abstract domains manipulation based on Apron
⚒ Implementation of the Tarsis abstract domain
Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)
Implementation of an abstract domain for algebraic data types
Finite state automata library for abstract interpretation
C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
CLAM static analyzer for μDyn
Add a description, image, and links to the abstract-domain topic page so that developers can more easily learn about it.
To associate your repository with the abstract-domain topic, visit your repo's landing page and select "manage topics."