├── .gitignore ├── PRISM ├── README.md ├── property.props └── threads.prism ├── README.md ├── clean_graph.py ├── gephi ├── 4_threads.gephi └── README.md ├── graphs ├── 1_threads.dot ├── 2_threads.dot ├── 3_threads.dot ├── 4_threads.dot └── 5_threads.dot ├── header.svg ├── likelihoods.py ├── notes.md ├── requirements.txt ├── threads.cfg └── threads.tla /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/.gitignore -------------------------------------------------------------------------------- /PRISM/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/PRISM/README.md -------------------------------------------------------------------------------- /PRISM/property.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/PRISM/property.props -------------------------------------------------------------------------------- /PRISM/threads.prism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/PRISM/threads.prism -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/README.md -------------------------------------------------------------------------------- /clean_graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/clean_graph.py -------------------------------------------------------------------------------- /gephi/4_threads.gephi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/gephi/4_threads.gephi -------------------------------------------------------------------------------- /gephi/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/gephi/README.md -------------------------------------------------------------------------------- /graphs/1_threads.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/graphs/1_threads.dot -------------------------------------------------------------------------------- /graphs/2_threads.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/graphs/2_threads.dot -------------------------------------------------------------------------------- /graphs/3_threads.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/graphs/3_threads.dot -------------------------------------------------------------------------------- /graphs/4_threads.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/graphs/4_threads.dot -------------------------------------------------------------------------------- /graphs/5_threads.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/graphs/5_threads.dot -------------------------------------------------------------------------------- /header.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/header.svg -------------------------------------------------------------------------------- /likelihoods.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/likelihoods.py -------------------------------------------------------------------------------- /notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/notes.md -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | networkx==3.0 2 | pygraphviz==1.10 3 | -------------------------------------------------------------------------------- /threads.cfg: -------------------------------------------------------------------------------- 1 | SPECIFICATION Spec 2 | CONSTANTS 3 | NumThreads = 2 \* Change this to w/e 4 | -------------------------------------------------------------------------------- /threads.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwayne/tla-graphing-demo/HEAD/threads.tla --------------------------------------------------------------------------------