Automated quantitative software verification by Kattenbelt, M

“…Our second technique <em>instruments</em> probabilistic software in such a way that existing, non-probabilistic software verification methods can be used to compute bounds on quantitative properties of the original, uninstrumented software.…”

On software verification for sensor nodes by Bucur, D, Kwiatkowska, M

“…We consider software written for networked, wireless sensor nodes, and specialize software verification techniques for standard C programs in order to locate programming errors in sensor applications before the software's deployment on motes. …”

Software verification and validation for practitioners and managers / by 249001 Rakitin, Steven R.

Software Verification Using k−Induction by Donaldson, A, Haller, L, Kroening, D, Ruemmer, P

Preface to special issue on software verification by Hoare, C, Misra, J

Software verification using k-induction by Donaldson, A, Haller, L, Kroening, D, Rummer, P

Engineering computer software : verification, qualification, certification / by National Congress on Pressure Vessels and Piping, San Francisco, May 11.1971, Berman, Irwin, American Society of Mechanical Engineers

A cursory review on software verification approches / by Lusiana, author, Wan Mohd. Nasir Wan Kadir, author, Malaysian Software Engineering Conference (4th : 2008 : Terennganu)

Software verification and analysis : an Integrated, hands-on approach / by 336103 Laski, Janusz, Stanley, William

Medical device software verification, validation and compliance / by Vogel, David A.

Software verification and validation : an engineering and scientific approach / by 276030 Fisher, Marcus S.

Predicting SMT Solver Performance for Software Verification by Andrew Healy, Rosemary Monahan, James F. Power

Get full text

Making Software Verification Tools Really Work by Alglave, J, Donaldson, A, Kroening, D, Tautschnig, M

Algebraic Techniques in Software Verification : Challenges and Opportunities by Brain, M, Kroening, D, McCleeary, R

“…One of the main application areas and driving forces behind the development of Satisfiability Modulo Theory (SMT) solvers is software verification. The requirements of software verification are somewhat different to other applications of automated reasoning, posing a number of challenges but also providing some interesting opportunities. …”

Systems and software verification : model-checking techniques and tools / by Berard, Beatrice

Design and software verification of multichannel protocol for multiprocessing environment by Tan, Pek Yew.

Get full text

Automated software verification through empirical-based methods by Asim Saghir Sheikh.

“…The dissertation focuses on the key areas in software development where automated software verification can be applied.…”
Get full text

A state-of-practice on teaching software verification and validation by Zakaria, Zulfa

“…The aim of this paper is to examine the current state-of-practice with respect to teaching Software Verification and Validation (V&V) in the accredited Bachelor of Software Engineering (BSE) programs offered in Australian universities. …”
Get full text

Software verification for weak memory via program transformation by Alglave, J, Kroening, D, Nimal, V, Tautschnig, M

Software Verification for Weak Memory via Program Transformation by Alglave, J, Kroening, D, Nimal, V, Tautschnig, M