Search Sciweavers | Sciweavers

5255 search results - page 91 / 1051

» Formal Methods for Privacy

click to vote

FMCAD
2006
Springer

144views Formal Methods» more FMCAD 2006»

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

14 years 1 months ago

Download www-verimag.imag.fr

Claude Helmstetter, Florence Maraninchi, Laurent M...

claim paper

Read More »

click to vote

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

14 years 1 months ago

Download www.cs.utah.edu

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Chi...

claim paper

Read More »

click to vote

FMICS
2006
Springer

83views Formal Methods» more FMICS 2006»

Goanna - A Static Model Checker

14 years 1 months ago

Download www.cse.unsw.edu.au

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...

claim paper

Read More »

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

14 years 1 months ago

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

click to vote

FM
2008
Springer

87views Formal Methods» more FM 2008»

Lazy Behavioral Subtyping

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers