Search Sciweavers | Sciweavers

1109 search results - page 33 / 222

» Software verification for TinyOS

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

15 years 8 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

Voted

EMSOFT
2005
Springer

84views Software Engineering» more EMSOFT 2005»

The formal verification of a reintegration protocol

15 years 7 months ago

Download www.cs.indiana.edu

Lee Pike, Steven D. Johnson

claim paper

Read More »

click to vote

ICFEM
2005
Springer

87views Software Engineering» more ICFEM 2005»

An Improved Rule for While Loops in Deductive Program Verification

15 years 7 months ago

Download i12www.ira.uka.de

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

claim paper

Read More »

click to vote

ICFEM
2003
Springer

67views Software Engineering» more ICFEM 2003»

Verification of Timeliness QoS Properties in Multimedia Systems

15 years 6 months ago

Download www.cs.bham.ac.uk

Behzad Bordbar, Kozo Okano

claim paper

Read More »

click to vote

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

Compositional Verification of a Switch Fabric from Nortel Networks

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers