Think Stitch


Parallel and on-the-fly CSP Refinement Checking

Reported preliminary result of applying parallel and on-the-fly methods to CSP refinement checking at the 14th society for the study of CSP held at TOYO University. The presentation material is here:

2014/11/30