Pages that link to "Item:Q375907"

The following pages link to Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings (Q375907):

Displaying 3 items.

• An efficient SMT solver for string constraints (Q518402) (← links)
• Certifying proofs for SAT-based model checking (Q2058379) (← links)
• A decision procedure for string constraints with string/integer conversion and flat regular constraints (Q6150112) (← links)