A gentle introduction to symbolic execution

08 April, 2019

In this article we’ll cover the basic idea behind symbolic execution, a powerful yet underutilized technique for static program analysis…

Introducing the Pact property checker

18 July, 2018

Together with Kadena , Monic has open-sourced a language-integrated static analysis tool for the Pact smart contract language that we…