Author:
Sorokin Lev,Bouchekir Radouane,Beyene Tewodros A.,Liao Brian Hsuan-Cheng,Molin Adam
Publisher
Springer Nature Switzerland
Reference23 articles.
1. CppCheck. https://github.com/danmar/cppcheck
2. Infer. https://fbinfer.com/
3. Prescan. https://plm.sw.siemens.com/en-US/simcenter/autonomous-vehicle-solutions/prescan/
4. Bartocci, E., Mateis, C., Nesterini, E., Ničković, D.: Mining hyperproperties using temporal logics. ACM Trans. Embed. Comput. Syst. 22(5s) (2023). https://doi.org/10.1145/3609394
5. Bensalem, S., et al.: Continuous engineering for trustworthy learning-enabled autonomous systems. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality, pp. 256–278. Springer Nature Switzerland, Cham (2024). https://doi.org/10.1007/978-3-031-46002-9_15