Loop invariant synthesis in a combined domain

Qin, S.
He, G.
Luo, C.
Chin, W.-N.

Open link

Publication date

January 2010

DOI

10.1007/978-3-642-16901-4_31

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

Abstract

10.1007/978-3-642-16901-4_31Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6447 LNCS468-48

Extracted data

We use cookies to provide a better user experience.

Data Protection

Loop invariant synthesis in a combined domain

Abstract

Extracted data

Loop invariant synthesis in a combined domain

Abstract

Extracted data

Related items

Related items