A methodology for automated mining of compact and accurate assertion sets
autor
Heidari Iman, Mohammad Reza
Raik, Jaan
Jenihhin, Maksim
Jervan, Gert
Ghasempouri, Tara
vastutusandmed
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
allikas
2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27
kirjastus/väljaandja
IEEE
ilmumisaasta
2021
leheküljed
7 p. : ill
konverentsi nimetus, aeg
2021 IEEE Nordic Circuits and Systems Conference (NorCAS), October 26-27
konverentsi toimumispaik
Oslo, Norway
leitav
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9599865
https://doi.org/10.1109/NorCAS53631.2021.9599865
märksõna
verifikatsioon
automatiseerimine
algoritmid
programmeerimine
ISBN
978-1-6654-0712-0
märkused
Bibliogr.: 27 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)
Usaldusväärsete arvutisüsteemide keskus