As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [formal-verification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
2 answers

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 ...
Paymahn Moghadasian's user avatar
2 votes
2 answers

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 ...
Andrea Bravetti's user avatar
2 votes
1 answer

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 ...
Paymahn Moghadasian's user avatar