Examples for submission to CONCUR'22

DOI10.5281/zenodo.6483615ZenodoMaRDI QIDQ6710138FDO

Authors 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