cooked-validators

20 February 2025

From minimal skeletons to comprehensive transactions with cooked-validators

cooked-validators is a Haskell library to write offchain code and conduct testing activities over Cardano smart contracts. One of its main features is to create fully-fledged transactions from simple declarative skeletons.

• cooked-validators
• haskell
• cardano
• high-assurance

Mathieu Montin

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
• smart-contracts
• haskell
• blockchain

Florent Chevrou

14 October 2022

Testing stateful systems, part two: Linear Temporal Logic

• auditing
• smart-contracts
• haskell
• blockchain

Carl Hammann

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.

• haskell
• formal-methods
• blockchain
• high-assurance

Victor Miraldo