KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Questions tagged
formal-verification
3 questions
Follow Tag
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