Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070): Difference between revisions

@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+The Linear Temporal Logic of Rewriting Maude Model Checker
+Normal rank
@@ Property / cites work @@
+Model Checking LTLR Formulas under Localized Fairness
+Normal rank
@@ Property / cites work @@
+A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Equational abstractions
@@ Property / cites work: Equational abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Rewriting Strategies in Program Transformation Systems
+Normal rank