UCL-CS PPLV's repositories
byzantine-reading
Reading group on Byzantine Distributed Systems
GCTransformations
Certified implementation of a parametrized framework for concurrent garbage collectors
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
cachequery
HW interface for memory caches
DistributedProtocols
Experiments in implementing distributed protocols with Scala and Akka
htt-synthesis
Hoare Type Theory
inversion
Better support for proofs with indexed type families in Coq
polca
Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.
profoundnet.github.io
ProFoundNet website
relaxed-concurrency
Reasoning about relaxed concurrent data structures and their clients.
symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
vamp-reading
Reading Group meetings on Verification and Mechanised Proofs
infer
A static analyzer for Java, C and Objective-C