logo
SAT/SMT solvers for software analysis and testing

نتایج کنفرانس‌ها (2)

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

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Model-driven developmentModel checkingSAT/SMT solvers for software analysis and testing+60 بیشتر

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 بیشتر