Search for dissertations about: "symbolic evaluation"

Showing result 1 - 5 of 20 swedish dissertations containing the words symbolic 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. Towards a Deductive Compilation Approach

    Author : Ran Ji; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Abstract : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. READ MORE

  6. 4. Analysing Fault Tolerance for Erlang Applications

    Author : Jan Henry Nyström; Bengt Jonsson; Sven-Olof Nyström; John Hughes; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

    Abstract : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. READ MORE

  7. 5. Making B2B Sales Interactions Valuable - A Social and Symbolic Perspective

    Author : Lena Hohenschwert; Institutet för Ekonomisk forskning; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Value Creation; B2B Marketing; Sales Interactions; Symbolic Interactionism; Selling;

    Abstract : Salespeople’s work has always been regarded a crucial contributor to businesses’ value creation by researchers and practitioners alike. As tangible products are not at the core of interactions between salesperson and customer in the context of services-based or non-standardized markets, sales’ role is assigned greater influence in the understanding, creating and delivering of customer value. READ MORE