N-PAT: A Nested Model-Checker

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

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

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

Mathematics Subject Classification ID

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

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)