常有的静态评估技术有_______、_______和形式化证明等。