Revision as of 14:29, 9 July 2024 edit Frost (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers, Temporary account IP viewers 69,619 edits m Reverted edits by 2001:FD8:1A00:71F0:118A:7292:E958:601C (talk) (HG) (3.4.12) Tags: Huggle Rollback ← Previous edit		Revision as of 15:39, 16 November 2024 edit undo Vkuncak (talk \| contribs) 493 edits m →See also: added link to formal verification Next edit →
Line 49: * [[Runtime verification]] * [[Hardware verification]] * [[Formal verification]] == References ==

Software verification: Difference between revisions