Published April 22, 2022
| Version v1
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
(135.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f1a068728ca68ff241b6952b42bf66ec
|
135.1 kB | Preview Download |