Sökning: "Modular Verification"

Visar resultat 11 - 15 av 19 avhandlingar innehållade orden Modular Verification.

  1. 11. Combining and Strengthening Program Analysis and Verification

    Författare :Tobias Gedell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about methods for establishing semantic properties of programsand how those methods can be strengthened. Finding (semi-)algorithms fordeciding semantic properties is a non-trivial task and such algorithms will, bynecessity, give approximate answers. LÄS MER

  3. 12. On Verification of Switched Systems using Abstractions

    Författare :Valur Einarsson; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. LÄS MER

  4. 13. Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots

    Författare :Hugo Flordal; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : .... LÄS MER

  5. 14. On Compositional Approaches for Discrete Event Systems Verification and Synthesis

    Författare :Sahar Mohajerani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Over the past decades, human dependability on technical devices has rapidly increased.Many activities of such devices can be described by sequences of events,where the occurrence of an event causes the system to go from one state to another.This is elegantly modelled by state machines. LÄS MER

  7. 15. Algorithmic Verification of Procedural Programs in the Presence of Code Variability

    Författare :Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at verification time or changes frequently. LÄS MER