Add support for state-space systems (Observability)

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier

http://dsverifier.org

Apache License 2.0

12 stars 4 forks source link

Open lennonchaves opened 7 years ago

lennonchaves commented 7 years ago

Implement scripts in order to reproduce the counterexamples for observability property