In particular, you can obtain the following:
Raw Data
Categorisation
File | Description |
Categories.mm | A mind map showing the categories and relating them to the specific assumptions identified in the three projects. This mindmap has been created using (and can be viewed with) |
FreeMind. | |
File | Description |
uk.ac.lancs.comp.rivar.abc.zip | Source code for some experimental tooling (build as an extension to abc) to support annotation and verification of some of the assumptions identified. Note this is not currently maintained, so comes with no promises of fitness for purpose. |