tool_lists
tool_lists copied to clipboard
johnyf
Links to tools by subject
Reelay is a very useful tool that has been cited in a number of runtime verification papers already. I am also adding the [lattice-mtl](https://github.com/Agnishom/lattice-mtl) tool from an RV 2020 paper.
I'm unsure what order these lists are supposed to be in. If anything, should each language not be split in two: native implementations, e.g. `OxiDD`, and so on, and bindings...
I'm unsure what order these lists are supposed to be in. If anything, should each language not be split in two: native implementations, e.g. JDD, BeeDeeDee, PJBDD, and so on,...
The previous link for CAL was dead (and the obtainable code requires some work to get build and run on modern systems). Now it links to a revived version (and...