Top "Formal-verification" questions

Formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

Can I generate a number of SystemVerilog properties within a loop?

I have two packed arrays of signals and I need to create a property and associated assertion for that property …

properties verilog system-verilog formal-verification system-verilog-assertions
Why can't programs be proven?

Why can't a computer program be proven just as a mathematical statement can? A mathematical proof is built up on …

math theory proof axiom formal-verification
Can Haskell functions be proved/model-checked/verified with correctness properties?

Continuing on from ideas in: Are there any provable real-world languages? I don't know about you, but I'm sick of …

testing haskell functional-programming formal-methods formal-verification
Are there any provable real-world languages? (scala?)

I was taught about formal systems at university, but I was disappointed how they didn't seem to be used in …

java scala testing functional-programming formal-verification
How to design and verify distributed systems?

I've been working on a project, which is a combination of an application server and an object database, and is …

distributed protocols high-availability formal-verification