SLP

Medical abbreviations:
SLP

Strongest Liberal Postcondition