SPADE: Verification of Multithreaded Dynamic and Recursive Programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

SPADE: Verification of Multithreaded Dynamic and Recursive Programs

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (53.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00160449 , version 1 (06-07-2007)

Identifiants

  • HAL Id : hal-00160449 , version 1

Citer

Gael Patin, Mihaela Sighireanu, Tayssir Touili. SPADE: Verification of Multithreaded Dynamic and Recursive Programs. 19th International Conference in Computer Aided Verification, Jul 2007, Berlin, Germany. pp.254-257. ⟨hal-00160449⟩
51 Consultations
138 Téléchargements

Partager

Gmail Facebook X LinkedIn More