1. FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
2. Static Analysis of Information Systems for IoT Cyber Security: A Survey of Machine Learning Approaches[J];Igor,2022
3. Sustaining and improving graduated graph consistency: A static analysis of graph transformations[J];Jens;Science of Computer Programming,2022
4. The Calculational Design of a Generic Abstract Interpreter;Cousot,1999
5. Robustness Analysis of Finite Precision Implementations. In Programming Languages and Systems;Shan,2013