Search Sciweavers | Sciweavers

1109 search results - page 33 / 222

» Software verification for TinyOS

127

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

16 years 1 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

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 1 days ago

Download www.cs.indiana.edu

Lee Pike, Steven D. Johnson

claim paper

Read More »

137

click to vote

ICFEM
2005
Springer

87views Software Engineering» more ICFEM 2005»

An Improved Rule for While Loops in Deductive Program Verification

16 years 1 days ago

Download i12www.ira.uka.de

Bernhard Beckert, Steffen Schlager, Peter H. Schmi...

claim paper

Read More »

124

click to vote

ICFEM
2003
Springer

67views Software Engineering» more ICFEM 2003»

Verification of Timeliness QoS Properties in Multimedia Systems

15 years 11 months ago

Download www.cs.bham.ac.uk

Behzad Bordbar, Kozo Okano

claim paper

Read More »

124

click to vote

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

Compositional Verification of a Switch Fabric from Nortel Networks

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers