Pardinus: a temporal relational model finder
From MaRDI portal
Publication:2102939
DOI10.1007/S10817-022-09642-2OpenAlexW4295308793MaRDI QIDQ2102939FDOQ2102939
Authors: Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
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
Recommendations
Cites Work
- Kodkod: A Relational Model Finder
- CompoSAT: specification-guided coverage for model finding
- Reasoning with temporal logic on truncated paths.
- Fundamental Approaches to Software Engineering
- Title not available (Why is that?)
- An improved algorithm for decentralized extrema-finding in circular configurations of processes
- Temporal logics in computer science. Finite-state systems
- Exploring theories with a model-finding assistant
- Generating effective symmetry-breaking predicates for search problems
- Relational constraint solving in SMT
- Exploiting partial knowledge for efficient model analysis
Cited In (1)
Uses Software
This page was built for publication: Pardinus: a temporal relational model finder
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102939)