Search Sciweavers | Sciweavers

1516 search results - page 33 / 304

» Trends in Software Verification

click to vote

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

14 years 3 months ago

Download www.date-conference.com

Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...

claim paper

Read More »

click to vote

DATE
2006
IEEE

107views Hardware» more DATE 2006»

Disjunctive image computation for embedded software verification

14 years 2 months ago

Download www.cs.wmich.edu

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...

claim paper

Read More »

click to vote

EUC
2005
Springer

97views Applied Computing» more EUC 2005»

Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software

14 years 2 months ago

Download paper.ijcsns.org

Satoshi Yamane

claim paper

Read More »

click to vote

IPSN
2010
Springer

129views Sensor Networks» more IPSN 2010»

Software verification for TinyOS

13 years 10 months ago

Download www.daimi.au.dk

Doina Bucur, Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers