Formal Concurrency Verification Environment
Acronyme FOCOVE
Equipe CFSC
Mots clés
Specification Formal verification LOTOS CTL Reactive systems


FOCOVE (for Formal Concurrency Verification Environment) is a software environment for the specification and the verification of reactive and concurrent systems. The design and global architecture of the plateform has been proposed by Pr Djamel Eddine Saidouni in August 2000.


Publications related to FOCOVE

  • Djamel-Eddine Saïdouni, Adel Benamira, Nabil Belala and Farid Arfi, “FOCOVE: Formal Concurrency Verification Environment for Complex Systems”, In Proceedings of the 1st Mediterranean Conference on Intelligent Systems and Automation (CISA’08), Annaba, Algeria, June 30th-July 2nd, 2008, Volume 1019 (Issue 1) of American Institute of Physics Conference Proceedings, Melville, New York, pp. 375-380, ISBN: 978-0-7354-0540-0. [ Link | Full-text ]