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.
smart-contracts
14 October 2022
Testing stateful systems, part two: Linear Temporal Logic
1 July 2022
Introducing Pirouette 2: formal methods for smart contracts
The new Pirouette 2 introduces formal method techniques to the verification of smart contracts; in this post we focus particularly in how incorrectness logic helps this goal.
25 March 2022