Bitvector Support in the Theta Formal Verification Framework

Dobos-Kovacs, Mihaly [Dobos-Kovács, Mihály (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / DMIS); Hajdu, Akos [Hajdu, Ákos (formális módszerek), author] Department of Measurement and Information Systems (BUTE / FEEI); Voros, Andras [Vörös, András (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / DMIS)

English Conference paper (Chapter in Book) Scientific
    Fundings:
    • Arrowhead Tools(826452) Funder: H2020
    • Új Nemzeti Kiválóság Program(ÚNKP-21-2-I) Funder: New National Excellence Programme
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2025-02-14 00:17