Author:
Basler Gerard,Hague Matthew,Kroening Daniel,Ong C. -H. Luke,Wahl Thomas,Zhao Haoxian
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. IJIT: An API for Boolean Program Analysis with Just-in-Time Translation;Software Engineering and Formal Methods;2017
2. Counting dynamically synchronizing processes;International Journal on Software Tools for Technology Transfer;2016-01-21
3. Abstracting and Counting Synchronizing Processes;Lecture Notes in Computer Science;2015
4. Automatic verification of active device drivers;ACM SIGOPS Operating Systems Review;2014-05-15
5. Automatic Verification of Message-Based Device Drivers;Electronic Proceedings in Theoretical Computer Science;2012-11-26