SPADE: Verification of Multithreaded Dynamic and Recursive ProgramsReportar como inadecuado




SPADE: Verification of Multithreaded Dynamic and Recursive Programs - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIAFA - Laboratoire d-informatique Algorithmique : Fondements et Applications

Abstract : The tool SPADE allows to analyse automatically boolean programs with parallelism, communication between parallel processes, dynamic process creation, and recursion at the same time. As far as we know, this is the first software model checking tool based on an expressive model that accurately models all these aspects in programs.





Autor: Gael Patin - Mihaela Sighireanu - Tayssir Touili -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados