logo
SAT/SMT solvers for software analysis and testing

会议结果 (2)

International Conference on Formal Engineering Methods (ICFEM)

Rank: COffline
Hangzhou, China
Nov 10, 2025 - Nov 13, 2025
Formal specification and modelingFormal approaches to fault prevention and detectionAbstraction+18 更多

IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Requirements analysis and specificationModel-driven developmentModel checking+60 更多