Sökning: "program correctness"

Visar resultat 6 - 10 av 61 avhandlingar innehållade orden program correctness.

  1. 6. Calculi for Program Incorrectness and Arithmetic

    Författare :Philipp Rümmer; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. LÄS MER

  3. 7. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management

    Författare :Karl Palmskog; Mads Dam; Rocco De Nicola; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed objects; decentralization; implementation correctness; network protocols; object mobility; Computer Science; Datalogi;

    Sammanfattning : The Internet as of 2014 connects billions of devices, and is expected to connect tens of billions by 2020. To meet escalating requirements, networks must be scalable, easy to manage, and be able to efficiently execute programs and disseminate data. The prevailing use of centralized systems and control in, e.g. LÄS MER

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

  5. 9. Model Checking of Software Systems under Weak Memory Models

    Författare :Tuan-Phong Ngo; Mohamed Faouzi Atig; Parosh Aziz Abdulla; Philipp Rümmer; Viktor Vafeiadis; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model checking; Concurrent program; Weak memory model; Computer Science; Datavetenskap;

    Sammanfattning : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. LÄS MER

  7. 10. Logic program synthesis using schema instantiation in an interactive environment

    Författare :Anna-Lena Johansson; Stockholms universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The research presented herein proposes a method of program synthesis based on a recursive program schema and performed with an explicit incremental plan as the core of the synthesis. A partial prototype has been built in order to be able to actually perform syntheses according to the method. LÄS MER