Formal Methods in the Movies

A Few Good Men

Apocalypse Now

Batman and Robin

Cool Hand Luke

Dirty Harry

Forrest Gump

Jerry Maguire

The Godfather

The Sixth Sense

The Wizard of Oz