共 50 条
- [2] Stateful dynamic partial-order reduction FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 149 - +
- [5] Guard-based partial-order reduction International Journal on Software Tools for Technology Transfer, 2016, 18 : 427 - 448
- [6] Partial-Order Reduction for GPU Model Checking AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 357 - 374