Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata

Autor: Fortin, Marie

Publikováno v: Autre [cs.OH]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG046⟩

This thesis is concerned with the expressive power of first-order logic and other formalisms over different classes of ordered structures, among which MSCs (Message Sequence Charts), a standard model for executions of message-passing systems. This st

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::b2d6b97de3e55cc339f4adaa850be0fc
https://tel.archives-ouvertes.fr/tel-03079438/file/84743_FORTIN_2020_archivage.pdf

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

New Algorithms and Data Structures for the Emptiness Problem of Alternating Automata / Nouveaux algorithmes et structures de données pour le problème du vide des automates alternants

Autor: Maquet, Nicolas P. P.

This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are conside

Externí odkaz: http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-02162011-105751/

Analyses et vérification des programmes à aspects

Autor: Djoko Djoko, Simplice

La programmation par aspects est un paradigme de programmation qui permet de mieux séparer les préoccupations d'une application. Un aspect est défini pour chaque préoccupation qui ne peut pas être isolée dans un module. Les aspects sont ensuite

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00752116
http://tel.archives-ouvertes.fr/docs/00/75/21/16/PDF/these_1_.pdf