FOCOVE (pour Formal Concurrency
Verification Environment) est un environnement pour la
spécification et la vérification formelle des
systèmes concurrents. La conception de l'architecture
globale de FOCOVE a été
élaborée en Août 2000 par Dr Djamel-Eddine
Saïdouni, maître de conférence et maître de
recherche du
département d'informatique de l'Université Mentouri de
Constantine, Algérie.
Pages
en construction...