Skip to content
A trace language for using SMT solvers to verify executions of message passing programs.
TeX Racket Java
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Encodin_Generation
encodings
presentations
trace
traces-as-smt
.gitignore
MP-trace-test.rkt
MP-trace.rkt
README
mp-semantics-test.rkt
mp-semantics.rkt
punch-list.txt
You can’t perform that action at this time.