首页 | 本学科首页   官方微博 | 高级检索  
     


Model checking LTL properties over ANSI-C programs with bounded traces
Authors:Jeremy Morse  Lucas Cordeiro  Denis Nicole  Bernd Fischer
Affiliation:1. Electronics and Computer Science, University of Southampton, Southampton, UK
2. Electronic and Information Research Center, Federal University of Amazonas, Manaus, Brazil
3. Division of Computer Science, Stellenbosch University, Stellenbosch, South Africa
Abstract:
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号