Mechanised Wire-wise Verification of Handel-C Synthesis

DOI10.1016/J.ENTCS.2009.05.053zbMath1347.68235OpenAlexW2027849364MaRDI QIDQ5179364

J. C. P. Woodcock, Juan I. Perna

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.053

zbMATH Keywords

HOLmechanical verificationHandel-C synthesis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Mechanised wire-wise verification of Handel-C synthesis

Uses Software

• HOL
• Handel-C

Cites Work

• Unnamed Item
• Unnamed Item
• A Denotational Semantics for Handel-C

This page was built for publication: Mechanised Wire-wise Verification of Handel-C Synthesis