aronisstav/formal-trace-theory
Formal proof of the first lemma from the Optimal DPOR paper in proof.
Public GitHub Catalog
Discovered Oct 31, 2026
aronisstav / compilers_tutorial
Used in Compiler Design I course of Uppsala University.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#45680010GitHub System ID
aronisstavOrganization / User
PublicVisibility
ActiveCatalog Status
More from aronisstav
aronisstav/Pyevolve
Pyevolve
aronisstav/rinspect
Tools for dynamically verifying programs under TSO/PSO memory model
aronisstav/benchmarks_tacas2015
Public repository.