Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.

Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She

Browse the full REFSQ paper archive.