SCADE Model Checking Based on Program Transformation

SCADE Model Checking Based on Program Transformation

SCADE synchronization language is a common programming language for embedded system.It is often used to realize real-time embedded automatic control system in the research of equipment in aviation,aerospace,transportation and other safety critical fields.SCADE synchronization language is derived fro...

Full description

Bibliographic Details
Main Author: RAN Dan, CHEN Zhe, SUN Yi, YANG Zhi-bin
Format: Article
Language:zho
Published: Editorial office of Computer Science 2021-12-01
Series:Jisuanji kexue
Subjects:
model checking|safe state machine|lexical analysis|syntax analysis|abstract syntax tree|jkind
Online Access:https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2021-12-125.pdf

Internet

https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2021-12-125.pdf

Similar Items