Apalache has moved
Apalache has moved from Informal Systems to github.com/apalache and apalache-mc.org....
Igor Konnov
Specification and model checking of BFT consensus by Matter Labs
In 2024, I was engaged by the Security Team at MatterLabs. They needed help in formally specifying and checking the properties of the new algorithm that was being designed by the Consensus Team....
Solarkraft: A runtime monitoring tool for Stellar
We have finished the work on Solarkraft, which we started in the framework of the SCF #24 activation award....
Quint: Another look at the logic of TLA+
This blogpost summarizes my work on Quint after leaving Informal Systems....