Formal Methods in Security Patrignani, Nemati, K√ľnnemann


SysV: note on "option simulation"

Written: 12.12.2021 11:36
Modified: 12.12.2021 14:31
Written By: Hamed Nemati

Regarding the "option simulation" note that the right hand side diagram represents the situation where we have "stuttering", however we know that the "measure" is decreasing thus the abstract model cannot infinitely stutter. When the stuttering finished then the left hand side diagram holds and we can continue to compare abstract and concrete models behaviour. 

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators