FocusE: A semantic extension of FocusST
Reading time: 1 minute
...
📝 Original Info
- Title: FocusE: A semantic extension of FocusST
- ArXiv ID: 2505.09032
- Date: 2025-05-14
- Authors: ** 정보가 제공되지 않음 (논문에 저자 정보가 명시되지 않았습니다.) **
📝 Abstract
To analyse and verify the safety and security properties of interactive systems, a formal specification might be necessary. There are many types of formal languages and frameworks. The decision regarding what type of formal specification should be applied in each particular case depends on many factors. One of the approaches to specify interactive systems formally is to present them as a composition of components processing data and control streams. In this short paper, we present FocusE, a formal approach for modelling event-based streams. The proposed approach is based on a formal language FocusST, and can be seen as its semantic extension.💡 Deep Analysis
📄 Full Content
Reference
This content is AI-processed based on open access ArXiv data.