Search for dissertations about: "Forward Reachability"

Found 4 swedish dissertations containing the words Forward Reachability.

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

  4. 2. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

  5. 3. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

    Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. READ MORE

  6. 4. Safe Intersection and Merging Coordination of Connected and Automated Vehicles

    Author : Xiao Chen; Jonas Mårtensson; Björn Olofsson; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Connected and automated vehicles (CAVs) are a transformative technology that promises to bring innovative solutions to transportation systems. One of their significant advantages is the elimination of human factors, which makes them capable of resolving the congestion problem prevalent in areas such as ramp merging points and road intersections. READ MORE