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

15 years 8 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

15 years 8 months ago

Download www.cs.wmich.edu

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

claim paper

Read More »

121

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

15 years 7 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

15 years 3 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers