Search for dissertations about: "counter automata"

Found 4 swedish dissertations containing the words counter automata.

  2. 1. Infinite Structures in Timed Systems

    Author : Pavel Krcal; Wang Yi; Joel Ouaknine; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical computer science; Teoretisk datalogi; Datalogi; Computing Science;

    Abstract : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. READ MORE

  4. 2. On Solving String Constraints

    Author : Phi Diep Bui; Mohamed Faouzi Atig; Parosh Abdulla; Matthew Hague; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; String constraint solving; SMT; Verification;

    Abstract : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. READ MORE

  5. 3. Design of Assured and Efficient Safety-critical Systems

    Author : Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Abstract : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. READ MORE

  6. 4. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Author : Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE