Sciweavers

11

FMCAD
2009
Springer

110views Formal Methods» more FMCAD 2009»

Structure-aware computation of predicate abstraction

13 years 11 months ago

Structure-aware computation of predicate abstraction

Download fmv.jku.at

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...

claim paper

Read More »

20

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

13 years 11 months ago

Verification of recursive methods on tree-like data structures

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

13

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Enhanced verification by temporal decomposition

13 years 11 months ago

Enhanced verification by temporal decomposition

Download fmv.jku.at

Michael L. Case, Hari Mony, Jason Baumgartner, Rob...

claim paper

Read More »

13

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

13 years 11 months ago

Safety first: A two-stage algorithm for LTL games

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »