aronisstav/formal-trace-theory
Formal proof of the first lemma from the Optimal DPOR paper in proof.
Public GitHub Catalog
Discovered Sep 24, 2026
aronisstav / NTUA-Diploma-Thesis
Public repository discovered through GitHub real-time crawl.
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.
#1164696GitHub System ID
aronisstavOrganization / User
PublicVisibility
ActiveCatalog Status
More from aronisstav
aronisstav/compilers_tutorial
Used in Compiler Design I course of Uppsala University.
aronisstav/Pyevolve
Pyevolve
aronisstav/rinspect
Tools for dynamically verifying programs under TSO/PSO memory model