Andere Kunden interessierten sich auch für
![Hardware and Software: Verification and Testing]( "Hardware and Software: Verification and Testing")
Hardware and Software: Verification and Testing37,99 €![FM 2016: Formal Methods]( "FM 2016: Formal Methods")
FM 2016: Formal Methods38,99 €![Integrated Formal Methods]( "Integrated Formal Methods")
Integrated Formal Methods59,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation37,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification42,99 €![Hardware and Software: Verification and Testing]( "Hardware and Software: Verification and Testing")
Hardware and Software: Verification and Testing42,99 €![Model-Based Testing of Reactive Systems]( "Model-Based Testing of Reactive Systems")
Model-Based Testing of Reactive Systems42,99 €
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.
The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.
The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.