Sciweavers

24 search results - page 1 / 5

» fmcad 2009

15

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

14 years 20 days ago

Safety first: A two-stage algorithm for LTL games

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

11

FMCAD
2009
Springer

142views Formal Methods» more FMCAD 2009»

Interpolation-sequence based model checking

14 years 20 days ago

Interpolation-sequence based model checking

Download www.cs.technion.ac.il

Yakir Vizel, Orna Grumberg

claim paper

Read More »

21

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

14 years 20 days 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 »

19

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

14 years 20 days ago

Connecting pre-silicon and post-silicon verification

Download userweb.cs.utexas.edu

Sandip Ray, Warren A. Hunt Jr.

claim paper

Read More »

33

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

14 years 20 days 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 »