Introduction into Logic in computer science
This blog outlines the basics of propositional logic, as explained by the book “Logic in compuer science”.
This blog outlines the basics of propositional logic, as explained by the book “Logic in compuer science”.
The second part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
The first part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
This blog outlines small-step and big-step semantics, their differences, and applications in analyzing computer programs.
In this blog we explore linear temporal logic as well as computation tree logic, and how we could use them to verify smart-contracts.
This blog explores the benefits of formal specification in the context of program verification.