Add support for closed-loop systems (limit cycle)

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 limit-cycle property