Výsledky vyhledávání - "Kerbrat, Alain"

Dissertation/ Thesis

Methodes symboliques pour la verification de processus communicants : etude et mise en oeuvre

Autor: Kerbrat, Alain

Ce travail porte sur la verification formelle de programmes paralleles. Parmi les methodes habituellement utilisees, nous nous interessons aux methodes basees sur la construction d'un modele du programme a verifier; la verification proprement dite s'

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00005100
http://tel.archives-ouvertes.fr/docs/00/04/63/71/PDF/tel-00005100.pdf

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Verification and test generation for the SSCOP protocol

Autor: Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Lucian, Jard, Claude, Jéron, Thierry, Kerbrat, Alain, Morel, Pierre, Mounier, Laurent ^*

Publikováno v: In Science of Computer Programming 2000 36(1):27-52

Zobrazit plný text záznamu

Data-Structures for Verification of Timed Automata

Autor: Asarin, Eugene, Bozga, Marius, Kerbrat, Alain, Maler, Oded, Pnueli, Amir, Rasse, Anne

Publikováno v: Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Hybrid and Real-Time Systems International Workshop, HART'97
Hybrid and Real-Time Systems International Workshop, HART'97, Mar 1997, Grenoble, France. pp.346--360, ⟨10.1007/BFb0014706⟩

International audience; In this paper we suggest numerical decision diagrams, a BDD-based data structure for representing certain subsets of the Euclidean space, namely those encountered in verification of timed automata. Unlike other representation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f2b514edf98f1fe4ca9c2848a8197c34
https://hal.archives-ouvertes.fr/hal-00374090/document

Zobrazit plný text záznamu

Symbolic methods for the verification of communicating processes : study and implementation

Autor: Kerbrat, Alain

Publikováno v: Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier-Grenoble I, 1994. Français

This work deals with the formal verification of parallel programs. We are especially interested in methods based on the generation of a model of the program ; verification itself is done on this model. This approach is usually limited by the model si

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1d7b1fc3ae9892aa2d1c62016a677ef9
https://tel.archives-ouvertes.fr/tel-00005100

Zobrazit plný text záznamu