Strategies, model checking and branching-time properties in Maude (Q2239275): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
+Normal rank
@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+The mu-calculus and Model Checking
@@ Property / cites work: The mu-calculus and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+A logic with revocable and refinable strategies
@@ Property / cites work: A logic with revocable and refinable strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+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 @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851053
@@ Property / cites work: Q2851053 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Strategic port graph rewriting: an interactive modelling framework
+Normal rank
@@ Property / cites work @@
+Labelled graph strategic rewriting for social networks
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
+Normal rank
@@ Property / cites work @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Foundations of the rule-based system ρLog
@@ Property / cites work: Foundations of the rule-based system ρLog / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking TLR* Guarantee Formulas on Infinite Systems
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+The Temporal Logic of Rewriting: A Gentle Introduction
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Model Checking of Core Erlang Programs in Maude
+Normal rank
@@ Property / cites work @@
+Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers
+Normal rank
@@ Property / cites work @@
+Q3732977
@@ Property / cites work: Q3732977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707742
@@ Property / cites work: Q4707742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089038
@@ Property / cites work: Q5089038 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized strategies specification in Maude
@@ Property / cites work: Parameterized strategies specification in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sudoku Puzzles with Rewriting Rules
@@ Property / cites work: Solving Sudoku Puzzles with Rewriting Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733423
@@ Property / cites work: Q4733423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849862
@@ Property / cites work: Q2849862 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank