Providing a formal linkage between MDG and HOL
DOI10.1007/S10703-006-0017-YzbMATH Open1112.68096DBLPjournals/fmsd/XiongCTB07OpenAlexW2011639059WikidataQ61929511 ScholiaQ61929511MaRDI QIDQ878110FDOQ878110
Authors: Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford 
Publication date: 26 April 2007
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://spectrum.library.concordia.ca/977375/1/FMSD-2007.pdf
Recommendations
Formal hardware verificationHybrid verification systemsUsability verificationVerification system correctness
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Edinburgh LCF. A mechanized logic of computation
- Title not available (Why is that?)
- Graph-Based Algorithms for Boolean Function Manipulation
- A Skeptic's approach to combining HOL and Maple
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming a symbolic model checker in a fully expansive theorem prover
- A machine-checked implementation of Buchberger's algorithm
- Title not available (Why is that?)
- Toward compiler implementation correctness proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Technology for Verification and Analysis
- Demonstrating the cognitive plausability of interactive system specifications
Cited In (2)
Uses Software
This page was built for publication: Providing a formal linkage between MDG and HOL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878110)
