Model checking of distributed algorithms using synchronous programs

Jahier, Erwan; Altisen, Karine; Devismes, Stéphane; Sant'Anna, Gabriel B.

doi:10.1016/j.tcs.2025.115292

Scientific article

English

Model checking of distributed algorithms using synchronous programs

ContributorsJahier, Erwan

; Altisen, Karine; Devismes, Stéphane; Sant'Anna, Gabriel B.

Published inTheoretical computer science, vol. 1045, 115292

Publication date2025-08

First online date2025-05-12

Affiliation entities

Not a UNIGE publication

Funding

ANR [ANR-22-CE25-0008-01]

Citation (ISO format)

JAHIER, Erwan et al. Model checking of distributed algorithms using synchronous programs. In: Theoretical computer science, 2025, vol. 1045, p. 115292. doi: 10.1016/j.tcs.2025.115292

Article (Published version)

CC BY-4.0

Identifiers

PID : unige:185085
DOI : 10.1016/j.tcs.2025.115292

Additional URL for this publicationhttps://www.sciencedirect.com/science/article/pii/S0304397525002300

Datasets

https://doi.org/10.1016/j.tcs.2025.115292

Journal ISSN0304-3975

31views

233downloads

Creation14/05/2025 15:27:40

First validation20/05/2025 09:40:03

Update20/05/2025 09:40:03

Status update20/05/2025 09:40:03

Last indexation20/05/2025 09:40:04

Archive ouverte UNIGE

Model checking of distributed algorithms using synchronous programs

Technical informations