VeriFIT Static Analysis Plugins
static analysis, plugin
A collection of plugins implementing various analyses (e.g., deadlock analysis, checking atomicity of call sequences, performance analysis) for various static analysers (Facebook Infer, Frama-C, ...).
Arrowhead Tools for Engineering of Digitalisation Solutions (8A19010)
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware (GA17-12465S)
Secure and Reliable Computer Systems (FIT-S-17-4014)