共 50 条
- [42] A feature-based classification of formal verification techniques for software models Software & Systems Modeling, 2019, 18 : 473 - 498
- [43] Frequency response verification of analog circuits using global optimization techniques JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (05): : 395 - 408
- [46] How to support verification of object-oriented analysis model using HOL WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: INFORMATION SYSTEMS, 1999, : 525 - 532
- [47] A mechanical analysis of program verification strategies Journal of Automated Reasoning, 2008, 40 (04): : 245 - 269
- [48] The Analysis of Existing Methods of Software Verification PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193