Structure-aware computation of predicate abstraction

14 years 6 months ago

cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland

Alessandro Cimatti, Jori Dubrovin, Tommi A. Juntti

Cate Abstraction | FMCAD 2009 | Formal Methods | Roveri Fondazione Bruno |

claim paper

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FMCAD
Authors	Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri

Comments (0)