aboutsummaryrefslogtreecommitdiff
path: root/open_issues/formal_verification.mdwn
Commit message (Collapse)AuthorAgeFilesLines
* FOSS Factory: Some more tasks.Thomas Schwinge2011-04-271-1/+15
|
* Elaborate on DSLs, IDLs, code analysis, etc.Thomas Schwinge2010-12-211-0/+16