Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085): Difference between revisions

Latest revision as of 12:05, 7 July 2024

scientific article; zbMATH DE number 6273817

Language	Label	Description	Also known as
English	Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool	scientific article; zbMATH DE number 6273817

Statements

instance of

scholarly article

0 references

title

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (English)

0 references

0 references

0 references

Specification, Algebra, and Software

0 references

publication date

25 March 2014

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-54624-2_30

0 references

cites work

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

0 references

Semantic foundations for generalized rewrite theories

0 references

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications

0 references

Principles of proof scores in CafeOBJ

0 references

Constructor-Based Inductive Theorem Prover

0 references

Order-Sorted Equality Enrichments Modulo Axioms

0 references

Q3839051

0 references

Twenty years of rewriting logic

0 references

Q3687683

0 references

Formal Methods for Open Object-Based Distributed Systems

0 references

Proving Safety Properties of Rewrite Theories

0 references

Q4222999

0 references

Equational rules for rewriting logic

0 references

Identifiers

zbMATH Open document ID

1407.68302

0 references

DOI

10.1007/978-3-642-54624-2_30

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5403085

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-54624-2_30
+Normal rank
@@ Property / OpenAlex ID @@
+W9489112
@@ Property / OpenAlex ID: W9489112 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
+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 @@
+Constructor-Based Inductive Theorem Prover
@@ Property / cites work: Constructor-Based Inductive Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Order-Sorted Equality Enrichments Modulo Axioms
@@ Property / cites work: Order-Sorted Equality Enrichments Modulo Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / 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 @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+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
@@ Property / cites work @@
+Q4222999
@@ Property / cites work: Q4222999 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank