Author:
Gerrard Mitchell,Borges Mateus,Dwyer Matthew,Fillieri Antonio
Funder
National Science Foundation
DARPA ARCOS
U.S. Army Research Office
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
2. Statistical Reachability Analysis;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30