Author:
Yu Bin,Duan Zhenhua,Tian Cong,Zhang Nan
Funder
National Natural Science Foundation of China
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference45 articles.
1. jContractor: Bytecode instrumentation techniques for implementing design by contract in Java;Abercrombie;Electron. Notes Theor. Comput. Sci.,2002
2. SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft;Ball,2004
3. T. Ball, S.K. Rajamani, Automatically validating temporal safety properties of interfaces, in: Proceedings of the 8th International SPIN Workshop on Model Checking of Software, 2001, pp. 103–122.
4. DiVinE 3.0–an explicit-state model checker for multithreaded C & C++ programs;Barnat,2013
5. B. Barre, M. Klein, M. Soucy-Boivin, MapReduce for parallel trace validation of LTL Properties, in: Runtime Verification, Third International Conference, RV 2012, pp. 184–198.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献