Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348): Difference between revisions

@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / 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-319-15545-6_13
+Normal rank
@@ Property / OpenAlex ID @@
+W53396660
@@ Property / OpenAlex ID: W53396660 / rank @@
+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 @@
+CafeOBJ Traces
@@ Property / cites work: CafeOBJ Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Universe Polymorphism in Coq
@@ Property / cites work: Universe Polymorphism in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+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 @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+years of model checking. History, achievements, perspectives
+Normal rank
@@ Property / cites work @@
+Cardinals in Isabelle/HOL
@@ Property / cites work: Cardinals in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Proving Safety Properties of Rewrite Theories
@@ Property / cites work: Proving Safety Properties of Rewrite Theories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5256348