search

cuplv / verivita

Dynamic verification using callbacks
2 stars 1 forks source link

Use nuxmv bmc #195

Closed smover closed 7 years ago

smover commented 7 years ago

Fix #193