Temporal logic in finite-state verification

This article does not exist yet.