Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings

DOI10.1007/978-3-319-03077-7zbMath1295.68018OpenAlexW2630264676MaRDI QIDQ375907

No author found.

Publication date: 1 November 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-03077-7

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (3)

A decision procedure for string constraints with string/integer conversion and flat regular constraints ⋮ An efficient SMT solver for string constraints ⋮ Certifying proofs for SAT-based model checking

This page was built for publication: Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings