Sciweavers

1199 search results - page 23 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
88
Voted
ADAEUROPE
2009
Springer
15 years 10 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
ADAEUROPE
2005
Springer
15 years 9 months ago
Dynamic Tasks Verification with Quasar
Sami Evangelista, Claude Kaiser, Christophe Pajaul...
ISSTA
2000
ACM
15 years 8 months ago
Putting static analysis to work for verification: A case study
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...