用于使用Petri网约简检查模型可达性属性的量词消除器。，Quantifier eliminator for using Petri net reductions for model checking reachability properties., (2023-10-20, OCaml, 0KB, 下载0次)