Block library driven translation validation for dataflow models in safety critical systems

autor
Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
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
Springer
ilmumisaasta
2016
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
leitav
https://doi.org/10.1007/978-3-319-45943-1_8
märksõna
arvutisüsteemid
raalprojekteerimine
tarkvara
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-84990061196&origin=inward&txGid=8047028471b8db4c9da3fdba5decaef2
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000389230800008
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
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
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise