Keep hearing about PMF from your manager and you don’t know what it is? Among other things, PMF is Protocols Made Fun. Of course, your manager will tell you that PMF means “Product-Market Fit”, but when someone starts throwing that kind of PMF at you, the fun is over.

This is Igor Konnov’s blog about protocol specification, testing, and verification. Licensed under CC BY 4.0 :recycle:. I am an independent security and formal methods researcher, having a track record in academia and the blockchain industry. If you need help with your distributed protocols or smart contracts, check my website. In case you need more than a soloist for your task, we can easily build a research team with Andrey Kuprianov, Thomas Pani, and Jure Kukovec, as we did in the past.

Igor at Gateway'23

Disclaimer. This site refers to and/or derives from small portions of code and/or examples from:

  • Apalache that was developed at TU Wien, Inria Nancy, Interchain Foundation, and Informal Systems. See the Apalache License == Apache 2.0 for details.

  • Quint that was developed at Informal Systems by:

    • Igor Konnov: Informal Systems (Austria) 2021-2023.
    • Shon Feder: Informal Systems (Canada), 2021-2023.
    • Gabriela Moreira: Informal Systems (Brazil), 2021-2023.
    • Jure Kukovec: Informal Systems (Austria) 2021-2023.
    • Thomas Pani: Informal Systems (Austria), 2022-2023.
    • For details, see the Quint License == Apache 2.0.