共 50 条
- [3] Checking for model consistency in optimal fingerprinting: a comment Climate Dynamics, 2022, 58 : 405 - 411
- [4] Optimal Stateless Model Checking for Causal Consistency TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 105 - 125
- [5] Research on Consistency Checking of OntoUML Model MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 2862 - +
- [6] Proving sequential consistency by model checking SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 103 - 108
- [9] Model checking dynamic UML consistency Formal Methods and Software Engineering, Proceedings, 2006, 4260 : 440 - 459
- [10] Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):