summaryrefslogtreecommitdiff
path: root/open_issues/formal_verification.mdwn
AgeCommit message (Collapse)Author
2010-12-21Elaborate on DSLs, IDLs, code analysis, etc.Thomas Schwinge