Sökning: "Hamid Kisha"

Hittade 1 uppsats innehållade orden Hamid Kisha.

  1. 1. Solver For String Constraints

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Hamid Kisha; [2022]
    Nyckelord :;

    Sammanfattning : Recent years have witnessed a growing number of applications that perform operationsover string data type. Reasoning over string values is crucial for the safety and securityanalyses of such applications. We present a procedure for checking the satisfiability of constraints over string data type. LÄS MER