Block library driven translation validation for dataflow models in safety critical systems
statement of authorship
Arnaud Dieumegard, Andres Toom, and Marc Pantel
source
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
location of publication
Cham
publisher
year of publication
pages
p. 117-132 : ill
series
Lecture notes in computer science ; 9933
conference name, date
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
conference location
Pisa, Italy
ISSN
0302-9743
ISBN
978-3-319-45942-4
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
translation validation
deductive verification
data flow languages
block libraries
Why3 toolset
Frama-C toolset
kvartiil
classifier
category (general)
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).