共 50 条
- [31] Cobra: Fast Structural Code Checking SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 1 - 8
- [32] CHECKING OF PSEUDORANDOM CODE READING CORRECTNESS ELECTRONICS LETTERS, 1993, 29 (21) : 1843 - 1844
- [33] Detecting malicious code by model checking DETECTION OF INTRUSIONS AND MALWARE, AND VULNERABILITY ASSESSMENT, PROCEEDINGS, 2005, 3548 : 174 - 187
- [36] INDUCED PARITY VIOLATION IN ODD DIMENSIONS AUSTRALIAN JOURNAL OF PHYSICS, 1994, 47 (04): : 465 - 474
- [40] Checking History -Determinism is NP -hard for Parity Automata FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT I, FOSSACS 2024, 2024, 14574 : 212 - 233