共 50 条
- [1] Pardinus: A Temporal Relational Model Finder [J]. Journal of Automated Reasoning, 2022, 66 : 861 - 904
- [2] Verifying Temporal Relational Models with Pardinus [J]. RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 254 - 261
- [3] Kodkod: A relational model finder [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 632 - +
- [4] Staged Evaluation of Partial Instances in a Relational Model Finder [J]. ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 318 - 323
- [6] A TEMPORAL RELATIONAL MODEL AND A QUERY LANGUAGE [J]. INFORMATION SCIENCES, 1989, 49 (1-3) : 147 - 175
- [7] Temporal relational and object relational application development using the TORM model [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 20 - 25
- [9] CME: A temporal relational model for efficient coalescing [J]. 12th International Symposium on Temporal Representation and Reasoning, Proceedings, 2005, : 83 - 90
- [10] Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder [J]. INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 131 - 146