Split Transition Power Abstraction for Unbounded Safety

Blicha, Martin; Fedyukovich, Grigory; Hyvärinen, Antti; Sharygina, Natasha

doi:10.34727/2022/isbn.978-3-85448-053-2_42

Record link:

http://hdl.handle.net/20.500.12708/81371
https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_42

Title:

Split Transition Power Abstraction for Unbounded Safety

Citation:

Blicha, M., Fedyukovich, G., Hyvärinen, A., & Sharygina, N. (2022). Split Transition Power Abstraction for Unbounded Safety. In A. Griggio & N. Rungta (Eds.), Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 (pp. 349–358). TU Wien Academic Press. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_42

reposiTUm DOI:

10.34727/2022/isbn.978-3-85448-053-2_42

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Blicha, Martin
Fedyukovich, Grigory
Hyvärinen, Antti
Sharygina, Natasha

Editors:

Griggio, Alberto
Rungta, Neha

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering