Evaluation of SMT solvers in abstraction-based software model checking

Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Vörös, András [Vörös, András (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Anon A. Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22. (2022) ISBN:9781450397377 pp. 109-116
    Támogatások:
    • (ÚNKP-23-I-BME-217) Támogató: ÚNKP
    • ADVANCE(823788) Támogató: Horizon 2020
    Idézett közlemények (3)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-01-25 13:51