A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Add Your Link » Abstract State Machines
