N-PAT: A Nested Model-Checker

DOI10.1007/978-3-030-51054-1_22MaRDI QIDQ5049015zbMATH OpenOpenAlexFDO

Authors Hadrien Bride, Cheng-Hao Cai, Jin-Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, 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)

Recommendations

• A CTL* Model Checker for Petri Nets
• NuSMV: A new symbolic model checker
• scientific article; zbMATH DE number 1536554
• Unconventional Computation
• scientific article; zbMATH DE number 1903365

Cites work

• Communicating sequential processes
• Handbook of model checking

This page was built for publication: N-PAT: A Nested Model-Checker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049015)