Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
From MaRDI portal
Publication:3608819
DOI10.1007/978-3-540-73147-4_11zbMath1186.68430MaRDI QIDQ3608819
Abdessamad Imine, Michaël Rusinowitch
Publication date: 6 March 2009
Published in: Rewriting, Computation and Proof (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_11
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems