Strict Standards: Only variables should be assigned by reference in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/plugins/system/jblibrary/jblibrary.php on line 51

Strict Standards: Only variables should be assigned by reference in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/plugins/system/jblibrary/jblibrary.php on line 134
Links

Links

ESBMC - Efficient SMT-Based Context-Bounded Model Checker: http://users.ecs.soton.ac.uk/lcc08r/esbmc/ 

ESBMC-GPUhttp://esbmc-gpu.org/

ESBMC-QtOM: http://esbmc.org/qtom/

DSVerifier - A Bounded Model Checking Tool for Digital Systems: http://dsverifier.org/