GitHub repository: runtimeverification/k-tutorial-atva-2023
Primary language: Dockerfile
Description: This is the main repository we will be using for the tutorial sessions during the [21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023)](https://atva-conference.org/2023/). The tutorial sessions will be held on 24 October 2023.