Retrieve Password
This function can also be used to retrieve a forgotten username.
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski
This function can also be used to retrieve a forgotten username.