aman-goel / ic3po

IC3PO: IC3 for Proving Protocol Properties
25Updated last month

Related projects

Alternatives and complementary repositories for ic3po