ikos

There are 4 repositories under ikos topic.

95616ARG/pikos_popl2020
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
Language:C++16 5 02
95616ARG/mikos_sas2020
Memory-Efficient Fixpoint Computation for Abstract Interpretation
Language:C++5 2 01
Facthunder/ikos
Docker image for ikos
Language:Dockerfile1 2 01
kalvotom/docker-ikos
iKOS docker image
Language:Dockerfile1 2 10