Login / Signup

Bitvector Support in the Theta Formal Verification Framework.

Mihály Dobos-KovácsÁkos HajduAndrás Vörös
Published in: LADC (2021)
Keyphrases
  • formal verification
  • data sets
  • main contribution
  • case study
  • conceptual framework
  • domain specific
  • decision support
  • orders of magnitude