Search Sciweavers | Sciweavers

4036 search results - page 38 / 808

» Formal Methods

158

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

15 years 10 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

144

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

15 years 10 months ago

Download www-verimag.imag.fr

Claude Helmstetter, Florence Maraninchi, Laurent M...

claim paper

Read More »

144

click to vote

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

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

15 years 10 months ago

Download www.cs.utah.edu

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

claim paper

Read More »

128

click to vote

FMICS
2006
Springer

83views Formal Methods» more FMICS 2006»

Goanna - A Static Model Checker

15 years 10 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

125

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers