Block library driven translation validation for dataflow models in safety critical systems
vastutusandmed
Arnaud Dieumegard, Andres Toom, and Marc Pantel
allikas
Critical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 117-132 : ill
seeria-sari
Lecture notes in computer science ; 9933
konverentsi nimetus, aeg
21st International Workshop on Formal Methods for Industrial Critical Systems, FMICS-AVoCS 2016 and 16th International Workshop on Automated Verification of Critical Systems, AVoCS 2016, 26-28 September 2016
konverentsi toimumispaik
Pisa, Italy
ISSN
0302-9743
ISBN
978-3-319-45942-4
märkused
Bibliogr.: 19 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
translation validation
deductive verification
data flow languages
block libraries
Why3 toolset
Frama-C toolset
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Dieumegard, A., Toom, A., Pantel, M. Block library driven translation validation for dataflow models in safety critical systems // Critical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings. Cham : Springer, 2016. p. 117-132 : ill. (Lecture notes in computer science ; 9933).