News
SysV: note on confidentiality preserving refinement
Written: 14.12.2020 14:07
Modified: 14.12.2020 14:08 Written By: Hamed Nemati
Modified: 14.12.2020 14:08 Written By: Hamed Nemati
I posted a note about the specific simulation relation that we used to get the confidentiality preserving refinement in our Rocketchat channel. Please checked it out!