Author:
Dahan A.,Geist D.,Gluhovsky L.,Pidan D.,Shapir G.,Wolfsthal Y.,Benalycherif L.,Kamdem R.,Lahbib Y.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey on Assertion-based Hardware Verification;ACM Computing Surveys;2022-01-31
2. TRAP: trace runtime analysis of properties;Frontiers of Computer Science;2019-12-07
3. FPGA Stream-Monitoring of Real-time Properties;ACM Transactions on Embedded Computing Systems;2019-10-19
4. An Algebraic Framework for Runtime Verification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2018-11
5. First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014;International Journal on Software Tools for Technology Transfer;2017-04-07