Search for dissertations about: "Othmane Rezine"

Found 1 swedish dissertation containing the words Othmane Rezine.

2. 1. Verification of networks of communicating processes : Reachability problems and decidability issues

   Author : Othmane Rezine; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson; Barbara König; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; infinite-state systems; distributed programs; concurrent programs; networks of communicating processes; reachability; termination; decidability; Computer Science; Datavetenskap;

   Abstract : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. READ MORE