Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.

Format:

Book

Contributor:

Piterman, Nir, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 9434.

Programming and Software Engineering ; 9434

Language:

English

Subjects (All):

Software engineering.

Computer logic.

Programming languages (Electronic computers).

Logic, Symbolic and mathematical.

Artificial intelligence.

Computer networks.

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Computer Communication Networks.

Local Subjects:

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Computer Communication Networks.

Physical Description:

1 online resource (XVI, 293 pages) : 88 illustrations in color.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

Other Format:

Printed edition:

ISBN:

978-3-319-26287-1

9783319262871

Access Restriction:

Restricted for use by site license.