Skip to content
HomeEssential Cardano
Olga Hryniuk
0 up votes and 0 down votes. Total score
2
ResearchFormal verificationCardano

Formal verification

The process of checking whether system design and the underlying algorithms are correct and satisfy the given requirements and properties. It is based on the formal methods of mathematics and is an integral part of IOG research. The core parts of Cardano are written in Haskell.

2 contributors

  • Olga Hryniuk
    contributed
  • Olga Hryniuk
    contributed

Would you like to suggest changes to this glossary?

We encourage you to actively participate in the creation and moderation of our content—your contributions are invaluable. All content is reviewed by another community member.

Suggest edit
Contribute