transaction based formal verification的意思
美
/ /
英
/ /
基于事务的形式验证