Our research activities lie principally in the field of formal verification of concurrent communicating systems and hardware formal verification,
more specifically in the area related to computer aided verification.
Although important progress has been achieved in the areas of hardware verification and formal methods these topics still remain among the
major topics in the research in computer engineering. For instance, due to the enormously growing complexities of today's electronic systems,
it is a major challenge to develop error-free product with reasonable costs and development time. Simulation and test methods alone can no
longer guarantee hardware products of high quality.
We are as well interested to develop analysis techniques to study the effect of radiations on electronic circuit for aerospace applications.
We developed techniques to analyze the reliability and the performability of such systems.
