Sciweavers

24 search results - page 1 / 5

» fmcad 2009

27

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

14 years 5 months ago

Safety first: A two-stage algorithm for LTL games

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

22

FMCAD
2009
Springer

142views Formal Methods» more FMCAD 2009»

Interpolation-sequence based model checking

14 years 5 months ago

Interpolation-sequence based model checking

Download www.cs.technion.ac.il

Yakir Vizel, Orna Grumberg

claim paper

Read More »

36

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

14 years 5 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 »

31

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

14 years 5 months ago

Connecting pre-silicon and post-silicon verification

Download userweb.cs.utexas.edu

Sandip Ray, Warren A. Hunt Jr.

claim paper

Read More »

52

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

14 years 5 months ago

Debugging formal specifications using simple counterstrategies

Download fmv.jku.at

Robert Könighofer, Georg Hofferek, Roderick B...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »