Structure-Aware Computation of Predicate Abstraction

Alessandro Cimatti, Jori Dubrovin, Tommi Junttila, Marco Roveri

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

13 Citations (Scopus)

Original language	English
Title of host publication	The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)
Editors	Armin Biere, Carl Pixley
Publisher	IEEE
Pages	9-16
Publication status	Published - 2009
MoE publication type	A4 Conference publication

Cite this

@inproceedings{c11d8f7e81e544a98c4e71d692686736,

title = "Structure-Aware Computation of Predicate Abstraction",

author = "Alessandro Cimatti and Jori Dubrovin and Tommi Junttila and Marco Roveri",

year = "2009",

language = "English",

pages = "9--16",

editor = "Armin Biere and Carl Pixley",

booktitle = "The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)",

publisher = "IEEE",

address = "United States",

}

Structure-Aware Computation of Predicate Abstraction. / Cimatti, Alessandro; Dubrovin, Jori; Junttila, Tommi et al.
The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09). ed. / Armin Biere; Carl Pixley. IEEE, 2009. p. 9-16.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Structure-Aware Computation of Predicate Abstraction

AU - Cimatti, Alessandro

AU - Dubrovin, Jori

AU - Junttila, Tommi

AU - Roveri, Marco

PY - 2009

Y1 - 2009

UR - http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5351113&isYear=2009

M3 - Conference article in proceedings

SP - 9

EP - 16

BT - The 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)

A2 - Biere, Armin

A2 - Pixley, Carl

PB - IEEE

ER -