PROSPER
From MaRDI portal
PROSPER Q22347
swMATH10386MaRDI QIDQ22347FDOQ22347
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-46419-0_7
Cited In (31)
- Hidden verification for computational mathematics
- Title not available (Why is that?)
- Communication protocols for mathematical services based on KQML and OMRS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interfacing computer algebra and deduction systems via the logic broker architecture
- Title not available (Why is that?)
- Integrating external deduction tools with ACL2
- Providing a formal linkage between MDG and HOL
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
- Title not available (Why is that?)
- Title not available (Why is that?)
- Prosper
- Title not available (Why is that?)
- IsaWin
- Cadence SMV
- Gandalf
- HOL90
- KOMET
- Calife
- clock synchronization
- Schneider clock synchronization
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools
- Executing the formal semantics of the Accellera property specification language by mechanised theorem proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Technology for Verification and Analysis
This page was built for software: PROSPER
