Search Sciweavers | Sciweavers

2488 search results - page 44 / 498

» An improvement in formal verification

click to vote

DATE
2006
IEEE

91views Hardware» more DATE 2006»

Avoiding false negatives in formal verification for protocol-driven blocks

14 years 4 months ago

Download www.date-conference.com

Görschwin Fey, Daniel Große, Rolf Drech...

claim paper

Read More »

click to vote

DATE
2005
IEEE

94views Hardware» more DATE 2005»

Automatic Formal Verification of Fused-Multiply-Add FPUs

14 years 3 months ago

Download www.date-conference.com

Christian Jacobi 0002, Kai Weber, Viresh Paruthi, ...

claim paper

Read More »

click to vote

EMSOFT
2005
Springer

84views Software Engineering» more EMSOFT 2005»

The formal verification of a reintegration protocol

14 years 3 months ago

Download www.cs.indiana.edu

Lee Pike, Steven D. Johnson

claim paper

Read More »

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

14 years 3 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers