# Matching Logic: An Alternative to Hoare Logic

From FSL

**Matching Logic: An Alternative to Hoare/Floyd Logic**- Grigore Rosu and Chucky Ellison and Wolfram Schulte
, Springer, pp 142-162. 2010**AMAST'10**

*Abstract.*