Verified ros-based deployment of platform-independent control systems W Meng, J Park, O Sokolsky, S Weirich, I Lee NASA Formal Methods Symposium, 248-262, 2015 | 20 | 2015 |
VCS: a verifier for component-based systems F He, L Yin, BY Wang, L Zhang, G Mu, W Meng Automated Technology for Verification and Analysis: 11th International …, 2013 | 8 | 2013 |
Thread-modular model checking with iterative refinement W Meng, F He, BY Wang, Q Liu NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 3 | 2012 |
Beagle User Manual F He, L Yin, D Wang, W He, L Zhang, G Mu, W Meng Beijing: TsinghuaUniversity, 2013 | 1 | 2013 |
Reachability Assume-Guarantee W Meng, Q Liu, J Li 2010 Third International Conference on Communication Theory, Reliability …, 2010 | 1 | 2010 |