11 May 2023
A journey through the auditing process of a smart contract
Embark with the High Assurance Software Group for a guided tour through the stages of a smart-contract audit, secret weapon included.
blockchain
14 October 2022
Testing stateful systems, part two: Linear Temporal Logic
26 January 2022
A Case Study on Correctness and Safety Testing of Stateful Systems
How to automatically inject attacks and faults in safety tests using random traces.
21 May 2021
Simulating Tenderbake
Announcing a simulator for Tenderbake