Scalable and precise verification based on k-induction, symbolic execution and floating-point theory

Mikhail, Yasha Ramalho Gadelha

Angol nyelvű Tudományos PhD (Disszertáció)
Megjelent: , 157 p. 2019
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-11-24 10:49