Sökning: "Othmane Rezine"

Hittade 1 avhandling innehållade orden Othmane Rezine.

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

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

   Sammanfattning : 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. LÄS MER