Search Sciweavers | Sciweavers

1109 search results - page 13 / 222

» Software verification for TinyOS

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

13 years 11 months ago

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

click to vote

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

13 years 11 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 9 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

AC
2005
Springer

66views Software Engineering» more AC 2005»

Verification and Validation and Artificial Intelligence

13 years 7 months ago

Download menzies.us

Tim Menzies, Charles Pecheur

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers