A formally verified transformation to unify multiple nested clocks for a Lustre-like language

Gang Shi, Yucheng Zhang, Shu Shang, Shengyuan Wang, Yuan Dong, Pen Chung Yew

Research output: Contribution to journalArticlepeer-review

3 Scopus citations
Original languageEnglish (US)
Article number12801
JournalScience China Information Sciences
Issue number1
StatePublished - Jan 1 2019

Bibliographical note

Funding Information:
Acknowledgements This work was supported by National Natural Science Foundation of China (Grant Nos. 61272086, 61462086, MJ-2015-D-066) and Sino-European Laboratory of Informatics, Automation and Applied Mathematics (Grants for the project Formally Certified Software Tools).

Cite this