The people behind
opaal was started by Mads Chr. Olesen and Kenneth Yrke Jørgensen 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.
Please contact Mads Chr. Olesen or [Andreas Dalsgaard]()).