PROSPER
From MaRDI portal
Software:22347
swMATH10386MaRDI QIDQ22347FDOQ22347
Author name not available (Why is that?)
Cited In (22)
- 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?)
- Title not available (Why is that?)
- 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
