rIC3 model checker

34 views

Skip to first unread message

Yuheng Su

unread,

Oct 24, 2024, 3:40:15 AM10/24/24

to hw...@googlegroups.com

We have open-sourced our model checker, rIC3, which was submitted this year. You can find it at https://github.com/gipsyh/rIC3. We welcome discussions and feedback!

Thank you!

Best regards,

Yuheng Su

unread,

Oct 24, 2024, 3:40:19 AM10/24/24

to HWMCC

Reply all

Reply to author

Forward

0 new messages