Determine if all elements of a boolean array are true

This video shows how to formally derive a solution that determines if a boolean array contains all true values. We start off by writing a formal specification and use it to write an invariant that can be used to derive our solution.