Search Sciweavers | Sciweavers

1199 search results - page 9 / 240

» Software Verification and Software Engineering a Practitione...

113

Voted

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 7 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

110

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 5 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

128

click to vote

AC
2005
Springer

66views Software Engineering» more AC 2005»

Verification and Validation and Artificial Intelligence

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

15 years 1 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

104

click to vote

ICFEM
2009
Springer

83views Software Engineering» more ICFEM 2009»

A Verification System for Distributed Objects with Asynchronous Method Calls

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers