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

16 years 8 days ago

Download www.date-conference.com

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

claim paper

Read More »

117

click to vote

EMSOFT
2005
Springer

84views Software Engineering» more EMSOFT 2005»

The formal verification of a reintegration protocol

16 years 5 days ago

Download www.cs.indiana.edu

Lee Pike, Steven D. Johnson

claim paper

Read More »

144

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 12 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

116

click to vote

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

15 years 11 months ago

Download www.scarpaz.com

Rolf Drechsler, Daniel Große

claim paper

Read More »

125

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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers