Association for Computing Machinery (ACM) - Synthesizing distributed scheduling implementation for probabilistic component-based systems

2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)

Author(s): Saddek Bensalem ; Axel Legay ; Ayoub Nouri ; Doron Peled
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 October 2013
Conference Location: Portland, OR, USA
Conference Date: 18 October 2013
Page(s): 87 - 96
ISBN (Electronic): 978-1-4799-0905-6
ISBN (Paper): 978-1-4799-0903-2

Developing concurrent systems typically involves a lengthy debugging period, due to the huge number of possible intricate behaviors. Using a high level description formalism at the intermediate... View More