IdézéskapcsolatMikhail Yasha. Scalable and precise verification based on k-induction, symbolic execution and floating-point theory. (2019)

Közlemény:
Gábor Horváth et al. Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages. (2018) Megjelent: Proceedings of the 40th International Conference on Software Engineering Companion pp. 428-429
Kapcsolódó cikk:
Mikhail Yasha. Scalable and precise verification based on k-induction, symbolic execution and floating-point theory. (2019)
Független: Igen
2020-12-03 20:25