Sökning: "Z3"

Visar resultat 1 - 5 av 8 uppsatser innehållade ordet Z3.

  1. 1. Flavour Symmetries in SU(5) Grand Unified Theories

    Master-uppsats, KTH/Fysik

    Författare :Malte Lindestam; [2021]
    Nyckelord :;

    Sammanfattning : The current description of physics on the very smallest scales is given by the standard model (SM) of particle physics. It makes many good predictions and is a highly successful theory. There are however phenomena it cannot explain, and it is therefore not a complete theory of particle physics. LÄS MER

  3. 2. Ramification of polynomials

    Master-uppsats, Linnéuniversitetet/Institutionen för matematik (MA)

    Författare :Ana Strikic; [2021]
    Nyckelord :non-pleasantly ramified polynomials; minimally ramified polynomial; lower ramification numbers; minimal ramification; discrete dynamical systems; iterating polynomials; ultrametric fields;

    Sammanfattning : In this research,we study iterations of non-pleasantly ramified polynomials over fields of positive characteristic and subsequently, their lower ramification numbers. Of particular interest for this thesis are polynomials for which both the multiplicity and  the degree of its iterates grow exponentially. LÄS MER

  4. 3. Interactive Prioritization of Software Requirements using the Z3 SMT Solver

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Jonathan Winton; [2021]
    Nyckelord :Software requirements prioritization; Requirements engineering; Z3; SMT-solvers; Satisfiability Modulo Theories;

    Sammanfattning : Prioritization of software requirements is an important part of the requirements engineering process within the industry of software development. There are many different methods for achieving the most optimal order of software requirements, a list that shows in what order the requirements should be implemented. LÄS MER

  5. 4. Always Look on the Positive-Definite Side of Life

    Master-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaper

    Författare :Mattias Byléhn; [2020-11-24]
    Nyckelord :Poisson summation; positive-definite distributions; Abel transform; Guinand’s distribution; relatively positive-definite distributions; Krein’s theorem; Krein measures;

    Sammanfattning : This thesis concerns distributions on Rn with the property of being positive-definite relative to a finite subgroup of the orthogonal group O(n). We construct examples of such distributions as the inverse Abel transform of Dirac combs on the geometries of Euclidean space Rn and the real- and complex hyperbolic plane H2, H2 C. LÄS MER

  7. 5. Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Oscar Holm; [2019]
    Nyckelord :safety critical system; safety critical software; MC DC; quality assurance; software engineering; Modified Condition Decision Coverage; automated testing; test case generation; SAT solving; Z3; Dextool; model checking; static analysis;

    Sammanfattning : The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. LÄS MER