Sign in
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.
Gang Shi
Yuanke Gan
Shu Shang
Shengyuan Wang
Yuan Dong
Pen-Chung Yew
Published in:
ICSE (Companion Volume) (2017)
Keyphrases
</>
data flow
control flow
database machine
symbolic execution
object oriented software
digital signal processing
concurrent programs
data transfer
concurrent programming
systolic array
image processing
artificial intelligence
asynchronous communication