Cited By
View all- Su WLiu YGanesan GHolzmann GSmolka SZadok EKuenning GShilane PWon Y(2021)Model-Checking Support for File System DevelopmentProceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems10.1145/3465332.3470878(103-110)Online publication date: 27-Jul-2021
- Thompson SBrat G(2008)Verification of C++ Flight Software with the MCP Model Checker2008 IEEE Aerospace Conference10.1109/AERO.2008.4526577(1-9)Online publication date: Mar-2008