Eindhoven University of Technology
| Tool | Description |
|---|---|
| mCRL2 | mCRL2 is a formal specification language with an associated toolset. The toolset can be used for … |
| ParaFROST | ParaFROST is a parallel SAT solver with GPU-accelerated inprocessing capable of harnessing NVIDIA … |