Pardinus: a temporal relational model finder

DOI10.1007/s10817-022-09642-2OpenAlexW4295308793MaRDI QIDQ2102939

Nuno Macedo, David Chemouil, Alcino Cunha, Julien Brunel

Publication date: 12 December 2022

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

Full work available at URL: https://doi.org/10.1007/s10817-022-09642-2

zbMATH Keywords

model checkingtemporal logicrelational logicmodel finding

Mathematics Subject Classification ID

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

Uses Software

• MiniSat
• SPIN
• NuSMV
• Prover9
• Mace4
• ProB
• Kodkod
• nuXmv
• CompoSAT

Cites Work

• Unnamed Item
• Unnamed Item
• CompoSAT: specification-guided coverage for model finding
• Relational constraint solving in SMT
• Temporal Logics in Computer Science
• Exploring Theories with a Model-Finding Assistant
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
• Exploiting Partial Knowledge for Efficient Model Analysis
• Fundamental Approaches to Software Engineering
• Kodkod: A Relational Model Finder
• Computer Aided Verification