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 €![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 €![FM 2016: Formal Methods]( "FM 2016: Formal Methods")
FM 2016: Formal Methods38,99 €![Model-Based Testing of Reactive Systems]( "Model-Based Testing of Reactive Systems")
Model-Based Testing of Reactive Systems39,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems37,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.