Verification of clock synchronization algorithms: experiments on a combination of deductive tools
From MaRDI portal
Recommendations
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools
- scientific article; zbMATH DE number 4055011
- The derivation and experimental verification of clock synchronization theory
- Synchronizing clocks in the presence of faults
- A theory of clock synchronization (extended abstract)
Cites work
- scientific article; zbMATH DE number 1629957 (Why is no real title available?)
- scientific article; zbMATH DE number 2003161 (Why is no real title available?)
- scientific article; zbMATH DE number 2090295 (Why is no real title available?)
- An upper and lower bound for clock synchronization
- Automated Reasoning
- Cooperating theorem provers: a case study combining HOL-Light and CVC Lite
- Synchronizing clocks in the presence of faults
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(7)- Extending Sledgehammer with SMT solvers
- Adapting real quantifier elimination methods for conflict set computation
- Combining Decision Procedures by (Model-)Equality Propagation
- Combining decision procedures by (model-)equality propagation
- scientific article; zbMATH DE number 4055011 (Why is no real title available?)
- Extending Sledgehammer with SMT solvers
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools
Describes a project that uses
Uses Software
This page was built for publication: Verification of clock synchronization algorithms: experiments on a combination of deductive tools
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642981)
