Towards a hybrid verification approach
N Elaraby, E Kühn, A Messinger… - … and Foundations: STAF …, 2018 - Springer
Verification methods have limitations rooted in their methodological approach. Different
methods can be more appropriate in verifying some type of properties than others. We …
methods can be more appropriate in verifying some type of properties than others. We …
Towards a Hybrid Verification Approach
N Elaraby, E Kühn, A Messinger… - … and Foundations: STAF …, 2018 - books.google.com
Verification methods have limitations rooted in their methodological approach. Different
methods can be more appropriate in verifying some type of properties than others. We …
methods can be more appropriate in verifying some type of properties than others. We …
Towards a Hybrid Verification Approach
N Elaraby, E Kühn, A Messinger… - Software Technologies …, 2018 - repositum.tuwien.at
Verification methods have limitations rooted in their methodological approach. Different
methods can be more appropriate in verifying some type of properties than others. We …
methods can be more appropriate in verifying some type of properties than others. We …