SPADE: Verification of Multithreaded Dynamic and Recursive ProgramsReport as inadecuate




SPADE: Verification of Multithreaded Dynamic and Recursive Programs - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Gael Patin - Mihaela Sighireanu - Tayssir Touili -

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



DOWNLOAD PDF




Related documents