Equivalence-based abstraction refinement for \(\mu \)HORS model checking

DOI10.1007/978-3-319-46520-3_20zbMath1398.68345OpenAlexW2522654841MaRDI QIDQ1990515

Naoki Kobayashi, Xin Li

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46520-3_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Automata-Based Abstraction Refinement for µHORS Model Checking

This page was built for publication: Equivalence-based abstraction refinement for \(\mu \)HORS model checking