Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
DOI10.1007/978-3-642-54624-2_30zbMATH Open1407.68302OpenAlexW9489112MaRDI QIDQ5403085FDOQ5403085
Publication date: 25 March 2014
Published in: Specification, Algebra, and Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_30
Recommendations
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Constructor-Based Inductive Theorem Prover
- Equational rules for rewriting logic
- Twenty years of rewriting logic
- Semantic foundations for generalized rewrite theories
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Title not available (Why is that?)
- Principles of proof scores in CafeOBJ
- Formal Methods for Open Object-Based Distributed Systems
- Title not available (Why is that?)
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
- Order-Sorted Equality Enrichments Modulo Axioms
- Proving Safety Properties of Rewrite Theories
- Title not available (Why is that?)
Cited In (2)
Uses Software
This page was built for publication: Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403085)
