Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications (Q2949707): Difference between revisions

@@ Property / cites work @@
+Predicate Abstraction of Rewrite Theories
@@ Property / cites work: Predicate Abstraction of Rewrite Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-State Model Checking of LTLR Formulas Using Narrowing
+Normal rank
@@ Property / cites work @@
+Generate &amp; Check Method for Verifying Transition Systems in CafeOBJ
+Normal rank
@@ Property / cites work @@
+Principles of proof scores in CafeOBJ
@@ Property / cites work: Principles of proof scores in CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing UNITY in Isabelle
@@ Property / cites work: Mechanizing UNITY in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank