I put together a list of formal verification tool competitions: https://alastairreid.github.io/verification-competitions/ … Please send me links to any that I have missed.
Replying to @alastair_d_reid
Hardware Model Checking Competition
http://fmv.jku.at/hwmcc19/
Formats: BTOR2 and AIGER
cc @ArminBiere
9:06 AM - 19 Apr 2020
0 replies
0 retweets
5 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.