Search for dissertations about: "infinite-state systems"

Showing result 6 - 10 of 16 swedish dissertations containing the words infinite-state systems.

2. 6. 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

4. 7. Creating Correct Network Protocols

   Author : Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

   Abstract : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. READ MORE

5. 8. Model Checking Parameterized Timed Systems

   Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

   Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE

6. 9. Infinite Structures in Timed Systems

   Author : Pavel Krcal; Wang Yi; Joel Ouaknine; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical computer science; Teoretisk datalogi; Datalogi; Computing Science;

   Abstract : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. READ MORE

7. 10. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach

   Author : Mohammad Reza Shoaei; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; IC3; large-scale systems; model checking; incremental control; supervisory control; hierarchical control; maximal permissiveness;

   Abstract : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. READ MORE