verificationmodel-checking

How to use Berkeley-ABC model checker?

I install the Berekeley-abc model checker that you can find in this address click here

but I don't know how to use it and also I cant find any good example of this model checker

Solution

  • here in Programming notes part there are 3 files to start with ABC model checker