Calculational design of a regular model checker by abstract interpretation

DOI10.1007/978-3-030-32505-3_1OpenAlexW2982031770MaRDI QIDQ5919285

Patrick Cousot

Publication date: 12 December 2019

Published in: Theoretical Aspects of Computing – ICTAC 2019 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-32505-3_1

zbMATH Keywords

model checkingabstract interpretationcalculational design

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Calculational design of a regular model checker by abstract interpretation