Model-based verification with error localization and error correction for C designs
author
Repinski, Urmas
statement of authorship
Urmas Repinski
source
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
journal volume number month
No. 4
year of publication
2012
pages
p. 221-229 : ill
url
file:///C:/Users/marit.talviste/Downloads/model-based-verificaton-with-error-localization-and-error-correction-for-c-designs.pdf
subject term
tarkvara
simulatsioon
verifikatsioon
vead
veaavastus
keyword
simulation-based verification
error localization
error correction
specification
automatic error correction
debug
C design
ISSN
0236-235X
notes
Bibliogr.: 19 ref
language
inglise