Questions tagged [formal-verification]
The formal-verification tag has no usage guidance.
3 questions
2
votes
2
answers
69
views
Why is the eUTxO model more amenable to static and formal analysis?
I've heard that the eUTxO model is more amenable to static and formal analysis than the account model. If true, why is that?
I understand that the account model makes formal and static analysis ...
2
votes
2
answers
176
views
How to generate a verifiable Proof-of-Burn address
I need to generate a Proof-of-Burn address for a project I'm working on.
I'm almost sure I can generate a valid "unspendable" address myself but I don't know how to make it verifiable and if ...
1
vote
1
answer
148
views
What does it mean that Ouroboros is formally verified?
I was talking with some friends about Cardano the other day and I brought up the fact that Ouroboros is formally verified. One of my friends asked me to explain what that means and why it's ...