Search Sciweavers | Sciweavers

4036 search results - page 5 / 808

» Formal Methods

click to vote

FMCAD
2009
Springer

142views Formal Methods» more FMCAD 2009»

Interpolation-sequence based model checking

13 years 12 months ago

Download www.cs.technion.ac.il

Yakir Vizel, Orna Grumberg

claim paper

Read More »

click to vote

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

13 years 12 months ago

Download userweb.cs.utexas.edu

Sandip Ray, Warren A. Hunt Jr.

claim paper

Read More »

click to vote

FMICS
2009
Springer

151views Formal Methods» more FMICS 2009»

Visualising Event-B Models with B-Motion Studio

13 years 12 months ago

Download www.stups.uni-duesseldorf.de

Lukas Ladenberger, Jens Bendisposto, Michael Leusc...

claim paper

Read More »

click to vote

FORMATS
2009
Springer

92views Formal Methods» more FORMATS 2009»

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

13 years 12 months ago

Download groups.csail.mit.edu

Shinya Umeno

claim paper

Read More »

click to vote

IFM
2009
Springer

106views Formal Methods» more IFM 2009»

An Introduction to Grammar Convergence

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers