README.md

Software and Systems Verification (VIMIMA01) course

Lab materials for the SWSV course at BME.

See the wiki pages for the lab materials.

If you find an error in the materials, please feel free to submit a pull request with the corrections, or open an issue if you have any comment or suggestion.