CAPVerDE - Privacy:




Soft Errors
Detecting "soft errors" (i.e, temporary hardware glitches) solely by means of software




BDDStab
BDDStab is a non-convex abstract domain for the binary analysis framework Jakstab.




regVIS
Lightweight Structured Visualization of Assembler Control-Flow based on Regular Expressions.




SPALTER
Driving Frama-C's Value Analysis Towards a User Specified Goal




Structural and Differential Analysis for Executables:




Formalization of Model-Driven Software Engineering:




A transformational approach to generic software development based on higher-order, typed functional signatures: