Software for the PVS Tutorial
This course is organized as a hands-on experience. Therefore, we strongly encourage installing PVS 7.1 and the VSCode-PVS IDE beforehand. Additionally, we will make use of the NASA PVS libraries (NASALib) for some of the examples and exercises. Below you can find different options to install the required software. If you need any assistance, please feel free to reach out to the organizers.
Note: PVS runs natively on Unix or MacOS platforms. For the Windows platform, you will need to use VirtualBox.