Gender:Male
Business Address:综合楼423
E-Mail:c2fec84ef1a42acc1758b235f7047a9ba7b50d1444143f5b0f198fd85065a62ec75266f05c88b784cf2c9e98f2d80d068654c67db065afd8ebf7c0725fe84ace9b3054ef824ccb2c28b5217bd8e4b353a6d0d1425729d3fde9bcae0a76ec1b354fe467b6bb798d0a9579d3f6e09738aa53dd2edcc4743de751e3da8165c54823
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs
Release Time:2022-10-04 Hits:
Date of Publication: 2022-10-03
Journal: Proceedings - 2019 6th International Conference on Dependable Systems and Their Applications, DSA 2019
Page Number: 25-36