In a previous blog post, we looked at how formal verification can be used to prove…
In this blog post, we will take you on a tour of how we developed Medjai, a new symbolic…
In the previous blog posts, we introduced static program analysis and discussed…
In the previous blog post, we talked about what the basic idea behind static analysis is and how it can…
If you are interested in blockchain technology, you’ve likely heard of many incidents in which large amounts of…