Automatic Termination Proofs for SoftwareReportar como inadecuado

Automatic Termination Proofs for Software - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Microsoft - Microsoft Research Cambridge

Abstract : In this talk I will describe recent advances in the area of automatic program termination analysis. In particular, I will describe the development of several automatic tools, called Terminator and Mutant, which implement new termination analysis algorithms. These tools have been used to prove that Windows device driver dispatch routines always return control back to their caller. The tools have also found a number of critical termination bugs in device drivers.

Autor: Byron Cook -



Documentos relacionados