Hardware and Software: Verification and Testing, 2014 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings Programming and Software Engineering Series
Coordonnateur : Yahav Eran
Date de parution : 11-2014
Ouvrage de 302 p.
15.5x23.5 cm
Thème de Hardware and Software: Verification and Testing :
Mots-clés :
DMA; HOL4; automata-based programming; automated testing; automated verification; discrete-event systems; discrete-event systems; dynamic invariants; formal verification; java; model checking; peripheral devices; relational logic; simulation; test case generation; theorem proving; verification