Formal Co−Validation of Low−Level Hardware/Software Interfaces
Alex Horn‚ Michael Tautschnig‚ Celina Val‚ Lihao Liang‚ Tom Melham‚ Jim Grundy and Daniel Kroening
Book Title
FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013
Editor
Barbara Jobstmann and Sandip Ray
ISBN
978−0−9835678−3−7/13
Pages
121–128
Publisher
IEEE
Year
2013