By the same authors

A Synchronous Approach to Threaded Program Verification

Research output: Other contribution

Standard

A Synchronous Approach to Threaded Program Verification. / Johnson, Kenneth Harold Anthony; Besnard, Loic; Gautier, Thierry; Talpin, Jean-Pierre.

32 p. 2010, Technical Report.

Research output: Other contribution

Harvard

Johnson, KHA, Besnard, L, Gautier, T & Talpin, J-P 2010, A Synchronous Approach to Threaded Program Verification.. <http://hal.inria.fr/inria-00492694/fr/>

APA

Johnson, K. H. A., Besnard, L., Gautier, T., & Talpin, J-P. (2010). A Synchronous Approach to Threaded Program Verification. Unpublished. http://hal.inria.fr/inria-00492694/fr/

Vancouver

Johnson KHA, Besnard L, Gautier T, Talpin J-P. A Synchronous Approach to Threaded Program Verification. 2010. 32 p.

Author

Johnson, Kenneth Harold Anthony ; Besnard, Loic ; Gautier, Thierry ; Talpin, Jean-Pierre. / A Synchronous Approach to Threaded Program Verification. 2010. 32 p.

Bibtex - Download

@misc{b3ef3d347b5e4605b1679ff3b497945a,
title = "A Synchronous Approach to Threaded Program Verification",
abstract = "R{\'e}sum{\'e} : 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.",
author = "Johnson, {Kenneth Harold Anthony} and Loic Besnard and Thierry Gautier and Jean-Pierre Talpin",
year = "2010",
language = "English",
type = "Other",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - A Synchronous Approach to Threaded Program Verification

AU - Johnson, Kenneth Harold Anthony

AU - Besnard, Loic

AU - Gautier, Thierry

AU - Talpin, Jean-Pierre

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

M3 - Other contribution

ER -