Essays about: "modulo"

Showing result 1 - 5 of 20 essays containing the word modulo.

  1. 1. Prototyping an mcSAT-based SMTsolver in Rust

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Dennis Örnberg; [2022]
    Keywords : ;

    Abstract : Satisfiability modulo theories, or SMT, is the decision problem of determining whether a set of formulas is satisfiable or not, given one or more background theories. The model-constructing satisfiability calculus, or mcSAT, is a framework used for solving SMT problems. READ MORE

  3. 2. Prioritization of Software Bugs using an SMT Solver

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Sirwan Rasoul; [2021]
    Keywords : Bug prioritization; Satisfiability modulo theories; Interactive bug prioritization.;

    Abstract : Many bugs are reported during the software maintenance phase, and in order for asoftware product to have a longer life, it must effectively handle and resolve thesebugs. As a result, when cost and time are considered, a prioritized list of bugs isrequired for all products. READ MORE

  4. 3. Localisation and Mapping for an Autonomous Lawn Mower : Implementation of localisation and mapping features for an autonomous lawn mower using heterogeneous sensors

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Marco Boffo; [2021]
    Keywords : Autonomous Mobile Robot; Sensor Fusion; Localisation; Mapping; Robot mobili autonomi; fusione di sensori; localizzazione; mappatura; Autonom mobil robot; sensorfusion; lokalisering; kartläggning;

    Abstract : Autonomous lawn mowers have been available to consumers for more than 20 years. During this period, advancements in embedded device computations and sensor performance have led to improvements in the reliability of these robots. Despite recent improvements, the opportunity for further innovation of such systems remains significant. READ MORE

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

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Jonathan Winton; [2021]
    Keywords : Software requirements prioritization; Requirements engineering; Z3; SMT-solvers; Satisfiability Modulo Theories;

    Abstract : 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. READ MORE

  6. 5. Feature Extraction from an SMT Problem

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Fredrik Wärngård; [2021]
    Keywords : ;

    Abstract : One way of solving complex satisfiability problems is by using the method of SMT(Satisfiability Modulo Theories). For satisfiability problems that are harder to solve than trivial ones, we could very well save ourselves a lot of time if we choose the most suitable solver immediately. READ MORE