Welcome to the SureLogic Wiki!
This site holds public information about the SureLogic analysis tools—please do not enter or upload any confidential or proprietary information to this site. sxuf
- FAQ – Get answers to frequently asked questions about SureLogic and the SureLogic analysis tools.
- JSure annotation guide – Learn how to effectively model your Java code and benefit from explicitly modeled design intent and JSure's analysis-based verification capability.
- Engineering guide – Learn about the engineering of the SureLogic tools.
Consult the User's Guide for information on using the wiki software.