Anonymous user
User:Realazthat/Projects wishlist/LLVM/Formal methods: Difference between revisions
User:Realazthat/Projects wishlist/LLVM/Formal methods (view source)
Revision as of 17:22, 29 October 2010
, 13 years agono edit summary
No edit summary |
|||
Line 3:
==Features==
Follow the examples of [[wp:Java_Modeling_Language]] and [[wp:SPARK_programming_language]].
Things that the pass might prove, for each function:
* That all '''assert''' statements can not occur, or complain otherwise (if an '''assert''' statement cannot be proved to not fail)
|