Search Sciweavers | Sciweavers

1129 search results - page 37 / 226

» Formal Verification of Websites

click to vote

DATE
2005
IEEE

94views Hardware» more DATE 2005»

Automatic Formal Verification of Fused-Multiply-Add FPUs

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

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

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

15 years 4 months ago

Download www.scarpaz.com

Rolf Drechsler, Daniel Große

claim paper

Read More »

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers