此外，还通过插入错误的方法，比较了传统仿真方法和半形式化的方法，发现基于SAT&BMC的半形式化方法在寻找错误所需的时间和稳定性方面都拥有巨大的优势。
互联网摘选
针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
互联网摘选
Love,/ Thanks,/ Take care,/ Yours,/ Best regards, ( semi-formal, also BR)
亲爱的，/谢谢，/保重，/你的，/致以最良好的问候，（半正式的，也是BR）
互联网摘选
Certainly. Mr. Jones, would you like that casual or semi-formal attire?
好的. 琼斯先生, 服装是随便点还是半正式 呢 ?
互联网摘选
Dress is most often informal , except on weekends, when semi-formal attire may be worn.
去餐馆一般是穿便装, 只在周末时着半正式的服装.
互联网摘选
Research and Implementation of Semi-formal Verification Method for Godson 2's Functional Units
龙芯2号功能部件半形式化验证方法的研究与实现
互联网摘选
A Petri Net Based Semi-formal Approach to Object-Oriented Development
一种基于Petri网的半形式化面向对象的开发方法
互联网摘选
For semi-formal, daytime parties, you can just wear an appropriate short dress.
当你参加一个白天的半正式的派对时，你只要穿适宜的套装即可。
互联网摘选
