This is a toy model of a type system that uses lattice constraints to perform a race-freedom analysis on a language with fork-join concurrency. It uses Z3 to check whether the constraints are satisfiable.
This is a toy model of a type system that uses lattice constraints to perform a race-freedom analysis on a language with fork-join concurrency. It uses Z3 to check whether the constraints are satisfiable.