This repository contains materials from the tutorial on the MC Intermediate Language given at FMCAD 2023.
-
bin
Binaries of an experimental version of the Kind 2 model checker supporting MCIL. -
examples
Several examples of MCIL models and queries. -
resources/vscode-mcil-*.vsix
syntax highlight style for Visual Studio Code. -
slides
Tutorial slides in PDF format. -
README.md
This file.