Publications by Xiang Gan
To appear
1.
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software (to appear)
AUTHORS:
Gan Xiang
,
Dubrovin Jori,
Heljanko Keijo
BOOKTITLE:
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011)