Alex Rivera | Logout

Questions tagged formal-verification

3 questions

Sort by: Newest Votes Active
81
votes
10
answers

Can Haskell functions be proved/model-checked/verified with correctness properties?

testing haskell functional-programming formal-methods formal-verification
asked 2010-11-02T13:12:40.037
11
votes
11
answers

Formally verifying the correctness of an algorithm

algorithm math proof correctness formal-verification
asked 2010-01-27T19:01:36.293
14
votes
10
answers

Do formal methods of program verfication have a place in industry?

language-agnostic logic formal-verification
asked 2009-07-28T21:20:20.497