A Library Modeling Language for the Static Analysis of C Programs
Abdelraouf Ouadjaout, Antoine Miné
Topics & Concepts
Computer scienceProgramming languageCorrectnessInterpreterPython (programming language)Specification languageStatic analysisAbstract interpretationSymbolic executionSoftwareFormal Methods in VerificationSoftware Testing and Debugging TechniquesLogic, programming, and type systems