An introduction to temporal logic and how it can be used to analyze concurrencygithub.com/Dicklesworthstone92 pointseigenvalue2 years ago