Hardware and Software: Verification and Testing

Beschreibung

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013.
The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
Fast track conference proceedings Unique visibility State of the art research

Autor*in

Valeria Bertacco

Themen in »Hardware and Software: Verification and Testing«

Web-based software infrastructure automated testing formal verification model checking simulation

Stimmen zu »Hardware and Software: Verification and Testing«

Details

Link teilen