By the same authors

A Synchronous Approach to Threaded Program Verification

Research output: Other contribution

Author(s)

Department/unit(s)

Publication details

DateUnpublished - 2010
TypeTechnical Report
Number of pages32
Original languageEnglish

Abstract

Résumé : Modern systems involve a complex organization of computational processes sharing access to both processors and resources. The use of threads in programming provides a method in which lightweight processes may be given specific tasks that can be carried out either independently or in cooperation with other threads. The correct and efficient use of shared resources between threads relies on synchronisation methods, such as semaphores, mutexes, or events. Our work demonstrates a semi-automated method of translating threaded software to the synchronous programming language Signal in order to verify the correctness of thread synchronisations in the source code.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations