Search Sciweavers | Sciweavers

5255 search results - page 23 / 1051

» Formal Methods for Privacy

click to vote

FMCAD
2009
Springer

142views Formal Methods» more FMCAD 2009»

Interpolation-sequence based model checking

14 years 2 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

14 years 2 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

14 years 2 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

14 years 2 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers