Exploiting symmetry for efficient verification of infinite-state component-based systems

DOI10.1007/978-3-319-47677-3_16zbMATH Open1393.68108OpenAlexW2529035542MaRDI QIDQ1660780

Qiang Wang

Publication date: 16 August 2018

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

Mathematics Subject Classification ID

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

This page was built for publication: Exploiting symmetry for efficient verification of infinite-state component-based systems