Search Sciweavers | Sciweavers

4340 search results - page 78 / 868

» Formal Methods and Cryptography

109

Voted

FMCAD
2006
Springer

144views Formal Methods» more FMCAD 2006»

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

15 years 7 months ago

Download www-verimag.imag.fr

Claude Helmstetter, Florence Maraninchi, Laurent M...

claim paper

Read More »

105

Voted

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

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

15 years 7 months ago

Download www.cs.utah.edu

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

claim paper

Read More »

Voted

FMICS
2006
Springer

83views Formal Methods» more FMICS 2006»

Goanna - A Static Model Checker

15 years 7 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

Voted

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

15 years 7 months ago

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

102

Voted

FM
2008
Springer

87views Formal Methods» more FM 2008»

Lazy Behavioral Subtyping

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers