CompoSAT: specification-guided coverage for model finding (Q2024373): Difference between revisions

@@ Property / cites work @@
+Exploring Theories with a Model-Finding Assistant
@@ Property / cites work: Exploring Theories with a Model-Finding Assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Alloy*: a general-purpose higher-order relational constraint solver
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Kodkod: A Relational Model Finder
@@ Property / cites work: Kodkod: A Relational Model Finder / rank @@
+Normal rank
@@ Property / cites work @@
+Searching for Shapes in Cryptographic Protocols
@@ Property / cites work: Searching for Shapes in Cryptographic Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Generating effective symmetry-breaking predicates for search problems
+Normal rank
@@ Property / cites work @@
+Systematic mistake analysis of digital computer programs
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473278
@@ Property / cites work: Q4473278 / rank @@
+Normal rank