Cobra Static Code Analyzer
An overview of the prototype tool version 1.0, appeared in
Innovations in Systems and Software Engineering in June 2016.
The preprint is available:
The current, version 2.3, of the tool is described in this
This is the author's version © 2017.
The official version appeared in
Proc. Int. SPIN Symposium on Model Checking of Software,
13-14 July 2017, UC Santa Barbara, CA,
Pub. ACM DOI: 10.1145/3092282.3092313.
The presentation from Spin 2017 introducing the tool is available