Published November 4, 2019
| Version v1
Dataset
Open
Infinite-data PBES Quotienting with the mCRL2 toolset
Authors/Creators
- 1. Eindhoven University of Technology
Description
This folder contains the benchmarks that were performed as part of the publications
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.
FACS 2018. LNCS 11222, pp. 216-236.
and
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:
Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems.
Science of Computer Programming (FACS 2018 special issue), vol. 188, 102389, 2020.
Files
Files
(18.4 kB)
| Name | Size | |
|---|---|---|
|
md5:0b495c68f3e6d1f37ea5f0f7d163ac2d
|
18.4 kB | Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1007/978-3-030-02146-7_11 (DOI)
- Is supplemented by
- Software: 10.5281/zenodo.3384747 (DOI)