Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
-
Updated
Aug 24, 2020 - C++
#
ikos
Here are 4 public repositories matching this topic...
Memory-Efficient Fixpoint Computation for Abstract Interpretation
-
Updated
Sep 21, 2020 - C++
Docker image for ikos
-
Updated
Apr 19, 2020 - Dockerfile
Improve this page
Add a description, image, and links to the ikos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ikos topic, visit your repo's landing page and select "manage topics."