opaal model checker

Downloads

Please see the install instructions on Installing opaal + LTSmin

Presentations