On Reachability in Parameterized Phaser Programs

DOI10.1007/978-3-030-17462-0_17zbMath1527.68128arXiv1811.07142MaRDI QIDQ6091334

Zeinab Ganjei, Zebo Peng, Petru Eles, Ludovic Henrio, Ahmed Rezine

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.07142

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: On Reachability in Parameterized Phaser Programs