Infinite-data PBES Quotienting with the mCRL2 toolset
收藏数据链接：
官方服务：
资源简介：
This folder contains the benchmarks that were performed as part of the publications Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:<br> Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.<br> FACS 2018. LNCS 11222, pp. 216-236. and Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:<br> Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems.<br> Science of Computer Programming (FACS 2018 special issue), vol. 188, 102389, 2020.
提供机构：
Zenodo创建时间：
2019-11-04
