Mohand Cherif Boukala

Learn More
In this paper, we propose a distributed algorithm for CTL model-checking and a counterexample search whenever the CTL formula is not satisfied. The distributed approach is used in order to cope with the state space explosion problem. A cluster of workstations performs collaborative verification over a partitioned state space. Thus, every process involved in(More)
Composition of heterogeneous software components is required in many domains to build complex systems. However, such compositions raise mismatches between components. Software adaptation aims at generating adaptors to correct mismatches between components to be composed. In this paper, we propose a formal approach based on Petri nets which relies on mapping(More)
These joint workshops aim at bringing together, in an informal setting, researchers interested in all aspects of model checking and composition for different models of concurrency, whether this interest be practical or theoretical, primary or derived. SUMo and CompoNet PC members have reviewed nine submissions by researchers from several countries. Each(More)
  • 1