Mechanised Wire-wise Verification of Handel-C Synthesis.

Juan Ignacio Perna Jim Woodcock

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

model checking
pairwise
concurrent systems
information systems
face verification
formal analysis
program synthesis
real time
databases
formal methods
formal verification
asynchronous circuits
functional programs
controller synthesis