A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew. A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. pages 109-111, ACM, 2017. [doi]

This author has not been identified. Look up 'Gang Shi' in GoogleThis author has not been identified. Look up 'Yuanke Gan' in GoogleThis author has not been identified. Look up 'Shu Shang' in GoogleThis author has not been identified. Look up 'Shengyuan Wang' in GoogleThis author has not been identified. Look up 'Yuan Dong' in GoogleThis author has not been identified. Look up 'Pen-Chung Yew' in Google

runs on WebDSL