@inproceedings{DBLP:conf/atva/RayHCXY09,
 author = {Sandip Ray and
Kecheng Hao and
Yan Chen and
Fei Xie and
Jin Yang},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/atva/RayHCXY09.bib},
 booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings},
 doi = {10.1007/978-3-642-04761-9_25},
 editor = {Zhiming Liu and
Anders P. Ravn},
 pages = {337--351},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
 title = {Formal Verification for High-Assurance Behavioral Synthesis},
 url = {https://doi.org/10.1007/978-3-642-04761-9_25},
 volume = {5799},
 year = {2009}
}