Search Sciweavers | Sciweavers

1129 search results - page 33 / 226

» Formal Verification of Websites

click to vote

ICCD
2005
IEEE

78views Hardware» more ICCD 2005»

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

15 years 8 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

15 years 8 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

15 years 6 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

15 years 6 months ago

Download www.date-conference.com

Erich Barke, Darius Grabowski, Helmut Graeb, Lars ...

claim paper

Read More »

click to vote

DSN
2009
IEEE

87views Computer Networks» more DSN 2009»

Exploiting refactoring in formal verification

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers