Solving Constrained Horn Clauses as C Programs with CHC2C

Bajczi, Levente ✉ [Bajczi, Levente (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)

Angol nyelvű Szakcikk (Folyóiratcikk) Tudományos
Konferencia: 30th International Symposium on Model Checking Software, SPIN 2024 2024-04-08 [Luxembourg City, Luxemburg]
  • X. Földtudományok Osztálya: A
  • SJR Scopus - Computer Science (miscellaneous): Q2
Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
2025-02-14 13:48