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

doi:10.1007/s11432-016-9270-0

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

Computer Science and Engineering

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Original language	English (US)
Article number	12801
Journal	Science China Information Sciences
Volume	62
Issue number	1
DOIs	https://doi.org/10.1007/s11432-016-9270-0
State	Published - 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).

Publisher link

10.1007/s11432-016-9270-0

Find It

Find It at U of M Libraries

Cite this

@article{f5a079a6335c4dbe9fc13a557b790bf5,

title = "A formally verified transformation to unify multiple nested clocks for a Lustre-like language",

author = "Gang Shi and Yucheng Zhang and Shu Shang and Shengyuan Wang and Yuan Dong and Yew, \{Pen Chung\}",

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).",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/s11432-016-9270-0",

language = "English (US)",

volume = "62",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science China Press",

number = "1",

}

TY - JOUR

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

AU - Shi, Gang

AU - Zhang, Yucheng

AU - Shang, Shu

AU - Wang, Shengyuan

AU - Dong, Yuan

AU - Yew, Pen Chung

N1 - 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).

PY - 2019/1/1

Y1 - 2019/1/1

UR - https://www.scopus.com/pages/publications/85049310766

UR - https://www.scopus.com/pages/publications/85049310766#tab=citedBy

U2 - 10.1007/s11432-016-9270-0

DO - 10.1007/s11432-016-9270-0

M3 - Article

AN - SCOPUS:85049310766

SN - 1674-733X

VL - 62

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 1

M1 - 12801

ER -

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

Bibliographical note

Publisher link

Find It

Other files and links

Cite this