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

@@ Property / describes a project that uses @@
+cddiff
@@ Property / describes a project that uses: cddiff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bordeaux
@@ Property / describes a project that uses: Bordeaux / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alloy
@@ Property / describes a project that uses: Alloy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kodkod
@@ Property / describes a project that uses: Kodkod / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alloy*
@@ Property / describes a project that uses: Alloy* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WhyLine
@@ Property / describes a project that uses: WhyLine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUTE
@@ Property / describes a project that uses: CUTE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TestEra
@@ Property / describes a project that uses: TestEra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Korat
@@ Property / describes a project that uses: Korat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+margrave
@@ Property / describes a project that uses: margrave / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-95582-7_34
+Normal rank
@@ Property / OpenAlex ID @@
+W2809205514
@@ Property / OpenAlex ID: W2809205514 / rank @@
+Normal rank
@@ 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