Abstract Frama-C is a source code analysis platform that aims at conducting verification of industrial-size C programs. It provides its users with a collection of plug-ins that perform static analysis, deductive verification, and testing, for safety- and security-critical software. Collaborative ver...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!