Revision as of 02:20, 19 July 2005 edit 67.175.201.128 (talk) →Static verification (Analysis) ← Previous edit		Revision as of 02:21, 19 July 2005 edit undo Sozin (talk \| contribs) 22 edits →Static verification (Analysis) Next edit →
Line 22: * ''[[Code conventions]] verification'' * ''Bad practices detection'' * [[Software metric]]s calculation * [[Formal verification]]

Software verification: Difference between revisions