Proving Safety Properties of Rewrite Theories
From MaRDI portal
Publication:3090877
DOI10.1007/978-3-642-22944-2_22zbMath1344.68142MaRDI QIDQ3090877
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2142/17407
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
Related Items
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool, Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs, Twenty years of rewriting logic, Simulation and Verification of Synchronous Set Relations in Rewriting Logic
Uses Software