Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492): Difference between revisions

@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ECCE
@@ Property / describes a project that uses: ECCE / 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-642-20551-4_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1854246520
@@ Property / OpenAlex ID: W1854246520 / rank @@
+Normal rank
@@ Property / cites work @@
+MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
+Normal rank
@@ Property / cites work @@
+Q2729083
@@ Property / cites work: Q2729083 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+Normal rank
@@ Property / cites work @@
+Constraint-based verification of parameterized cache coherence protocols
+Normal rank
@@ Property / cites work @@
+Q4945217
@@ Property / cites work: Q4945217 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-based deductive model checking
@@ Property / cites work: Constraint-based deductive model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking for infinite-state concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4421875
@@ Property / cites work: Q4421875 / rank @@
+Normal rank
@@ Property / cites work @@
+Expand, enlarge and check: new algorithms for the coverability problem of WSTS
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223070
@@ Property / cites work: Q4223070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414739
@@ Property / cites work: Q4414739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767047
@@ Property / cites work: Q2767047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723916
@@ Property / cites work: Q2723916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767073
@@ Property / cites work: Q2767073 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Hull Abstractions in Specialization of CLP Programs
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518894
@@ Property / cites work: Q4518894 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfold/fold transformation of stratified programs
@@ Property / cites work: Unfold/fold transformation of stratified programs / rank @@
+Normal rank
@@ Property / cites work @@
+Action language verifier: An infinite-state model checker for reactive software specifications
+Normal rank