Published April 22, 2022
| Version v2
Dataset
Open
Examples for submission to CONCUR'22
Authors/Creators
- 1. Technical University of Munich
Description
These are the examples we discussed in our submission "Regular Model Checking Upside-Down: An Invariant-Based Approach" to CONCUR'22.
Files
examples-concur-2022.zip
Files
(147.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:aeda8e809719c25492e6519128a01edb
|
147.5 kB | Preview Download |