Explore projects

provided files for the WACC project

WACC examples featuring language extensions implemented in WACC_19

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

Our wacc examples edited in line with extensions

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

Provided examples and support documentation for 2021 WACC project

Provided examples and support documentation for 2021 WACC project

Provided examples and support documentation for 2021 WACC project

Provided examples and support documentation for 2021 WACC project

Example programs and support material for the WACC lab exercise (2019-2020)