Rare find

software-analysis. Material (mostly slides) for a graduate course on (formal) software analysis.

github.com/bugcounting/software-analysis

Problem

Audience

Updates

No founder updates yet. Check back soon.