Static verification