Search Sciweavers | Sciweavers

1516 search results - page 19 / 304

» Trends in Software Verification

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

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

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

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

14 years 11 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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers