Search Sciweavers | Sciweavers

2488 search results - page 41 / 498

» An improvement in formal verification

click to vote

DSN
2009
IEEE

87views Computer Networks» more DSN 2009»

Exploiting refactoring in formal verification

14 years 4 months ago

Download www.cs.virginia.edu

Xiang Yin, John C. Knight, Westley Weimer

claim paper

Read More »

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

14 years 4 months ago

Download www.artist-embedded.org

Fateh Boutekkouk, Mohamed Benmohammed

claim paper

Read More »

click to vote

TPHOL
2009
IEEE

270views Automated Reasoning» more TPHOL 2009»

Formal Verification of Exact Computations Using Newton's Method

14 years 4 months ago

Download www-sop.inria.fr

Nicolas Julien, Ioana Pasca

claim paper

Read More »

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

14 years 4 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper

Read More »

click to vote

CSR
2009
Springer

98views Theoretical Computer Science» more CSR 2009»

Formal Verification of Gate-Level Computer Systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers