Essays about: "Satisfiability Modulo Theories"

Showing result 1 - 5 of 10 essays containing the words Satisfiability Modulo Theories.

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

  5. 4. 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

  6. 5. Bit-Vector Approximations of Floating-Point Arithmetic

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Joel Havermark; [2018]
    Keywords : ;

    Abstract : The use of floating-point numbers in safety-critical applications shows a need to efficiently and automatically reason about them. One approach is to use Satisfiability modulo theories (SMT). The naive approach to using SMT does not scale well. Previous work suggests approximations as a scalable solution. READ MORE