logo
Abstract interpretation

会议结果 (3)

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 更多

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 更多

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Shanghai, China
Apr 7, 2026
Abstract interpretationAlgebraic and co-algebraic specificationsAI for formal methods+7 更多