Sciweavers

1109 search results - page 13 / 222
» Software verification for TinyOS
Sort
View
115
Voted
AMAST
2004
Springer
15 years 8 months ago
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe
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