Parallel model checking for multiprocessor architecture

Autor: Tacla Saad, Rodrigo

Nous proposons de nouveaux algorithmes et de nouvelles structures de données pour la vérification formelle de systèmes réactifs finis sur architectures parallèles. Ces travaux se basent sur les techniques de vérification model checking. Notre a

Externí odkaz: http://www.theses.fr/2011ISAT0028/document

Parallel model checking for multiprocessor architecture

Autor: Saad, Rodrigo

Publikováno v: Mathematical Software [cs.MS]. INSA de Toulouse, 2011. English
Mathematical Software [cs.MS]. INSA de Toulouse, 2011. English. ⟨NNT : ⟩

In this thesis, we propose and study new algorithms and data structures for model checking nite-state, concurrent systems. We focus on techniques that target shared memory, multi-cores architectures, that are a current trend in computer architectures

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15adc4213d68984a3d9dcf59b50fb5f0
https://tel.archives-ouvertes.fr/tel-00678352/document