An introduction to temporal logic and how it can be used to analyze concurrency | Heykuki News