opaal model checker

The people behind

opaal was started by Mads Chr. Olesen and a late night at the Department of Computer Science at Aalborg University, after extensive and long discussions about how difficult it would be to implement a parallel/distributed model checker that was easy to experiment with.

Current developers

Please contact Mads Chr. Olesen or Andreas Dalsgaard.

IRC

You can meet the development team in #opaal @ irc.efnet.org