Sciweavers

1199 search results - page 9 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
123
Voted
ICFEM
2000
Springer
15 years 8 months ago
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Hong Peng, Sofiène Tahar, Ferhat Khendek
144
Voted
AC
2005
Springer
15 years 5 months ago
Verification and Validation and Artificial Intelligence
Tim Menzies, Charles Pecheur
104
Voted
ADAEUROPE
2010
Springer
15 years 3 months ago
Program Verification in SPARK and ACSL: A Comparative Case Study
Eduardo Brito, Jorge Sousa Pinto
115
Voted
ICFEM
2009
Springer
15 years 2 months ago
A Verification System for Distributed Objects with Asynchronous Method Calls
Wolfgang Ahrendt, Maximilian Dylla