Trace-Driven Verification of Multithreaded Programs. Yang, Z. & Sakallah, K. In 12th International Conference on Formal Engineering Methods (ICFEM), volume LNCS 6447, pages 404–419, Shanghai, China, November, 2010.
doi  bibtex   
@inproceedings{yang2010trace,
   author = {Yang, Zijiang and Sakallah, Karem},
   title = {{Trace-Driven Verification of Multithreaded Programs}},
   booktitle = {{12th International Conference on Formal Engineering Methods (ICFEM)}},
   address = {Shanghai, China},
   volume = {LNCS 6447},
   pages = {{404--419}},
   month = {November},
   year = {2010},
   doi = {https://doi.org/10.1007/978-3-642-16901-4_27}
}

Downloads: 0