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 and 16th 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
võtmesõna
translation validation
deductive verification
data flow languages
block libraries
Why3 toolset
Frama-C toolset
ISSN
0302-9743
ISBN
978-3-319-45942-4
märkused
Bibliogr.: 19 ref
TTÜ struktuuriüksus
keel
inglise
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 and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings. Cham : Springer International Publishing, 2016. p. 117-132 : ill. (Lecture notes in computer science ; 9933).