Search Sciweavers | Sciweavers

2488 search results - page 40 / 498

» An improvement in formal verification

click to vote

ICSE
2007
IEEE-ACM

100views Software Engineering» more ICSE 2007»

Randomized Differential Testing as a Prelude to Formal Verification

14 years 10 months ago

Download www.rjoshi.org

Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...

Alex Groce, Gerard J. Holzmann, Rajeev Joshi

claim paper

Read More »

click to vote

ICCD
2005
IEEE

78views Hardware» more ICCD 2005»

Formal Verification and its Impact on the Snooping versus Directory Protocol Debate

14 years 6 months ago

Download www.cis.upenn.edu

Milo M. K. Martin

claim paper

Read More »

click to vote

SOSP
2009
ACM

171views Operating System» more SOSP 2009»

seL4: formal verification of an OS kernel

14 years 6 months ago

Download www.sigops.org

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, Ju...

claim paper

Read More »

click to vote

KDD
2009
ACM

161views Data Mining» more KDD 2009»

On formal models for social verification

14 years 4 months ago

Download mmnet.iis.sinica.edu.tw

Chien-Ju Ho, Kuan-Ta Chen

claim paper

Read More »

click to vote

DATE
2009
IEEE

114views Hardware» more DATE 2009»

Formal approaches to analog circuit verification

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers