首页>
外国专利>
Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions
Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions
展开▼
机译:用于减少使用相互原子事务的并发程序的验证条件的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
Methods and systems for generating verification conditions and verifying the correctness of a concurrent system of program threads are described. The methods and systems determine and employ mutually atomic transactions to reduce verification problem sizes and state space for concurrent systems. The embodiments provide both an adequate and an optimal set of token-passing constraints for a bounded unrolling of threads.
展开▼