histausse/rasta-ic3 repository overview

Instructions on how to use this image are available here: https://github.com/histausse/rasta⁠

IC3 is a static analysis tool available here: https://github.com/siis/ic3⁠. The authors of RASTA are not the authors/maintainers of IC3.