随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用......

SAT-based bounded model checking (BMC) has been introduced as a complementary technique to BDD-based symbolic model chec......