Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086): Difference between revisions

@@ 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-642-54624-2_31
+Normal rank
@@ Property / OpenAlex ID @@
+W2125379699
@@ Property / OpenAlex ID: W2125379699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537126
@@ Property / cites work: Q4537126 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501590
@@ Property / cites work: Q4501590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790352
@@ Property / cites work: Q4790352 / rank @@
+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 @@
+Modeling and verification of real-time systems based on equations
+Normal rank
@@ Property / cites work @@
+Q2816365
@@ Property / cites work: Q2816365 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructor-Based Inductive Theorem Prover
@@ Property / cites work: Constructor-Based Inductive Theorem Prover / 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 @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Equational abstractions
@@ Property / cites work: Equational abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Safety Properties of Rewrite Theories
@@ Property / cites work: Proving Safety Properties of Rewrite Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664457
@@ Property / cites work: Q3664457 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+Normal rank