Embark with the High Assurance Software Group for a guided tour through the stages of a smart-contract audit, secret weapon included.

On a previous post, we explained how to write tests for stateful systems using traces — sequences of stateful actions — that can be combined and modified to write complex test cases easily and transparently. This post elaborates on the combinators used to generate new traces from…

How to automatically inject attacks and faults in safety tests using random traces.

Announcing a simulator for Tenderbake