Alex Rivera | Logout

Questions tagged correctness

1 question

Sort by: Newest Votes Active
11
votes
11
answers

Formally verifying the correctness of an algorithm

algorithm math proof correctness formal-verification
asked 2010-01-27T19:01:36.293