Do not die hard with TLA+ pt.1

The first part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.

April 10, 2024

Small and Big Step Semantics

This blog outlines small-step and big-step semantics, their differences, and applications in analyzing computer programs.

March 21, 2024

LTL and CTL Applications for Smart Contracts Security

In this blog we explore linear temporal logic as well as computation tree logic, and how we could use them to verify smart-contracts.

March 14, 2024

Why use formal specification

This blog explores the benefits of formal specification in the context of program verification.

March 4, 2024