Search for dissertations about: "Parosh Abdulla"

Showing result 1 - 5 of 19 swedish dissertations containing the words Parosh Abdulla.

  2. 1. Decision problems in systolic circuit verification

    Author : Parosh Abdulla; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  4. 2. State space representation for verification of open systems

    Author : Irem Aktug; Mads Dam; Parosh Abdulla; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Abstract : When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation. READ MORE

  5. 3. Infinite-state Stochastic and Parameterized Systems

    Author : Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Keywords : program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE

  6. 4. On Solving String Constraints

    Author : Phi Diep Bui; Mohamed Faouzi Atig; Parosh Abdulla; Matthew Hague; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; String constraint solving; SMT; Verification;

    Abstract : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. READ MORE

  7. 5. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

    Author : Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
    Keywords : Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

    Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE