Invariants synthesis over a combined domain for automated program verification

Qin, S.
He, G.
Chin, W.-N.
Yang, H.

Open link

Publication date

January 2013

DOI

10.1007/978-3-642-39698-4_19

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

Abstract

10.1007/978-3-642-39698-4_19Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)8051 LNCS304-32

Extracted data

We use cookies to provide a better user experience.

Data Protection

Invariants synthesis over a combined domain for automated program verification

Abstract

Extracted data

Invariants synthesis over a combined domain for automated program verification

Abstract

Extracted data

Related items

Related items