News
Let us know which hardware/software configuration you're running by Monday 28th.
Written on 25.10.2024 13:35 by Andrea Lattuada
At the tutorial next week we will provide instructions to set up Verus. To make sure that we can support your hardware/software configuration, please fill in the two polls on discourse here: https://sysverification.sic.saarland/t/what-configuration-are-you-running/ by the evening of Monday 28th (October 2024).