首页>
外国专利>
Accelerating model checking via synchrony
Accelerating model checking via synchrony
展开▼
机译:通过同步加速模型检查
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for program verification by model checking in concurrent programs includes modeling each of a plurality of program threads as a circuit model, and generating a full circuit for an entire program by combining the circuit models including constraints which enforce synchronous execution of the program threads. The program is verified using the synchronous execution to reduce an amount of memory needed to verify the program and a number of steps taken to uncover an error.
展开▼