Partial Order Reduction for Rewriting Semantics of Programming Languages (Q2873775): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+veriSoft
@@ Property / describes a project that uses: veriSoft / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaFAN
@@ Property / describes a project that uses: JavaFAN / 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.1016/j.entcs.2007.06.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2056106183
@@ Property / OpenAlex ID: W2056106183 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order reduction in symbolic state-space exploration
+Normal rank
@@ Property / cites work @@
+State space reduction using partial order techniques
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
+Normal rank
@@ Property / cites work @@
+Q4426386
@@ Property / cites work: Q4426386 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Rewriting Semantics of Programming Languages
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Q2845505
@@ Property / cites work: Q2845505 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+A partial approach to model checking
@@ Property / cites work: A partial approach to model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753763
@@ Property / cites work: Q2753763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037380
@@ Property / cites work: Q4037380 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2873775