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.
auditing
14 October 2022
Testing stateful systems, part two: Linear Temporal Logic
25 March 2022