Engineering Blog blockchain - Tweag

Key industries

Biotech Fintech Autonomous Vehicles

Open source Contact Careers Team Research Blog

Blog: blockchain (2 posts)

all haskell nix data-science linear-types bazel devops statistics internship asterius fellowship inline-java jobs python icfp formal-methods ocaml nickel liquidhaskell ghc capability profiling smart-contracts webassembly trustix blockchain golang programming-languages optics processes auditing rust tutorial distributed-algorithms random

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

Simulating Tenderbake

Announcing a simulator for Tenderbake

ocaml blockchain distributed-algorithms

Interested in working at Tweag?Join us

See our work

Biotech
Fintech
Autonomous vehicles
Open source

Stay connected

Twitter
GitHub
LinkedIn
Podcast
RSS

About us

Services
Blog
Careers
Contact us

Tweag HQ → 207 Rue de Bercy — 75012 Paris — France
hello@tweag.io

© Tweag I/O Limited. All rights reserved
Privacy Policy