N-PAT: A Nested Model-Checker

DOI10.1007/978-3-030-51054-1_22OpenAlexW3038403980MaRDI QIDQ5049015

Jin-Song Dong, Rajeev Goré, Cheng-Hao Cai, Zhé Hóu, Brendan P. Mahony, Hadrien Bride, J. G. McCarthy

Publication date: 9 November 2022

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.05520

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Communicating sequential processes
• Handbook of Model Checking