共 50 条
- [22] Underapproximation for model-checking based on random cryptographic constructions COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 339 - +
- [24] Model-Checking Iterated Games TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 154 - 168
- [26] Symmetry reductions in model-checking VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 25 - 25