TODO
Fault-tolerant distributed algorithms encoded in a formal language
Convert ABFN to regular expressions.
GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.
A project demonstrating one way to perform on-target coverage.
Create minimum MCDC test sets for a boolean expression
Visualize performance benchmarks over git commit history
Russian translation of Okasaki's Purely Functional Data Structures
Language-independent Continuous Benchmarking (CB) Framework
Verifying concurrent crash-safe systems
A compact C preprocessor and declaration parser written in pure Lua
Track code coverage metrics with Jenkins and Phabricator
A Framework for fuzzing USB Drivers by Device Emulation
🐟 鯰: Programmable fuzzy scheduler for testing distributed systems
Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638
Collection of articles on good practices and tools to improve C code quality
Generic model checker for concurrent C programs (mirror repository)
Lectures in MIPT: intro to engineering software using model-checking.
C Implementation of an Amazon S3 client library.
An open-source, customizable intermediate logic textbook
Learn the Agda basics in three 2-hour sessions.