Author:
Braibant Thomas,Chlipala Adam
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Augustsson, L., Schwarz, J., Nikhil, R.S.: Bluespec Language definition (2001)
2. Benton, N., Hur, C.-K., Kennedy, A., McBride, C.: Strongly Typed Term Representations in Coq. J. Autom. Reasoning 49(2), 141–159 (2012)
3. Berry, G.: The foundations of Esterel. In: Proof, Language, and Interaction, Essays in Honour of Robin Milner. MIT Press (2000)
4. Beyer, S., Jacobi, C., Kröning, D., Leinenbach, D., Paul, W.J.: Putting it all together - Formal verification of the VAMP. STTT 8(4-5), 411–430 (2006)
5. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware Design in Haskell. In: Proc. ICFP, pp. 174–184. ACM Press (1998)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Trustworthy Codesign by Verifiable Transformations;2024 IEEE International Test Conference in Asia (ITC-Asia);2024-08-18
2. Verifying Hardware Optimizations for Efficient Acceleration;International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies;2022-06-09
3. Resource Sharing for Verified High-Level Synthesis;2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM);2022-05-15
4. Proving Reliability of Image Processing Techniques in Digital Forensics Applications;Security and Communication Networks;2022-03-31
5. Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols;Computer Aided Verification;2022