Examples for submission to CONCUR'22

DOI10.5281/zenodo.6483615Zenodo6483615MaRDI QIDQ6710138FDOQ6710138

Dataset published at Zenodo repository.

Javier Esparza, Mikhail Raskin, Christoph Welzel

Publication date: 22 April 2022

Copyright license: Creative Commons Attribution 4.0 International

Description

These are the examples we discussed in our submission Regular Model Checking Upside-Down: An Invariant-Based Approach to CONCUR22.

This page was built for dataset: Examples for submission to CONCUR'22