PROSPER
From MaRDI portal
PROSPER Q22347
Cited in
(33)- Hidden verification for computational mathematics
- Communication protocols for mathematical services based on KQML and OMRS
- scientific article; zbMATH DE number 1949610 (Why is no real title available?)
- scientific article; zbMATH DE number 2086587 (Why is no real title available?)
- scientific article; zbMATH DE number 1863374 (Why is no real title available?)
- scientific article; zbMATH DE number 1852160 (Why is no real title available?)
- Mechanizing Mathematical Reasoning
- Interfacing computer algebra and deduction systems via the logic broker architecture
- scientific article; zbMATH DE number 2090057 (Why is no real title available?)
- scientific article; zbMATH DE number 2086953 (Why is no real title available?)
- Integrating external deduction tools with ACL2
- Providing a formal linkage between MDG and HOL
- scientific article; zbMATH DE number 1614720 (Why is no real title available?)
- Prosper
- PuzzleTool
- OMRS
- IsaWin
- Cadence SMV
- Gandalf
- HOL90
- KOMET
- Calife
- clock synchronization
- Schneider clock synchronization
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
- scientific article; zbMATH DE number 2079831 (Why is no real title available?)
- scientific article; zbMATH DE number 1927424 (Why is no real title available?)
- scientific article; zbMATH DE number 1863375 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 2086601 (Why is no real title available?)
- scientific article; zbMATH DE number 1852162 (Why is no real title available?)
- Automated Technology for Verification and Analysis
This page was built for software: PROSPER
