Algorithms for Synthesizing Priorities in Component-Based Systems

DOI10.1007/978-3-642-24372-1_12zbMath1348.68160arXiv1107.1383OpenAlexW1821461427MaRDI QIDQ3172911

Yu-Fang Chen, Saddek Bensalem, Christian Buckl, Chih-Hong Cheng, Alois C. Knoll, Barbara Jobstmann, Rongjie Yan, Harald Ruess

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• D-Finder
• SYNTHESIS
• SPIN
• NuSMV