Search for dissertations about: "Symbolic Trajectory Evaluation"

Found 3 swedish dissertations containing the words Symbolic Trajectory Evaluation.

  2. 1. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

    Author : Jan-Willem Roorda; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Abstract : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. READ MORE

  4. 2. Symbolic Trajectory Evaluation using a Satisfiability Solver

    Author : Jan-Willem Roorda; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  5. 3. Resilience and Religion in a Forced Migration Context : A narrative study of religiousness as a resilience factor in dealing with refugee experiences from a post-migration perspective of Bosnian refugees in Sweden

    Author : Selma Porobic; Centrum för teologi och religionsvetenskap; []
    Keywords : HUMANIORA; HUMANITIES; psychology of religion; positive psychology; religious meaning-making; religiousness; resilience; conflict-induced displacement; refugee experiences; forced migration; narrative; refugee-centred research; post-migration perspective; Bosnian war refugees in Sweden;

    Abstract : Until recently studies regarding the pathological aspects of refugee experiences have led the psychology field of forced migration, giving little space to positive factors like the resilience and well-being of individuals faced with these adversities. This doctoral thesis emphasizes good health rather than disease and aims at deepening the understanding of resilience and health as opposed to the dysfunction and disorder paradigm in the context of stressful forced migration experiences. READ MORE