Bitvector Support in the Theta Formal Verification Framework

Dobos-Kovacs, Mihaly [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); Hajdu, Akos [Hajdu, Ákos (formális módszerek), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Voros, Andras [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)

Támogatások:

• Arrowhead Tools(826452) Támogató: H2020
• Új Nemzeti Kiválóság Program(ÚNKP-21-2-I) Támogató: ÚNKP