Model-based verification with error localization and error correction for C designs
autor
Repinski, Urmas
vastutusandmed
Urmas Repinski
allikas
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
ajakirja aastakäik number kuu
No. 4
ilmumisaasta
2012
leheküljed
p. 221-229 : ill
leitav
file:///C:/Users/marit.talviste/Downloads/model-based-verificaton-with-error-localization-and-error-correction-for-c-designs.pdf
märksõna
tarkvara
simulatsioon
verifikatsioon
vead
veaavastus
võtmesõna
simulation-based verification
error localization
error correction
specification
automatic error correction
debug
C design
ISSN
0236-235X
märkused
Bibliogr.: 19 ref
keel
inglise