Little Tricky Logic: Misconceptions in the Understanding of LTL

Ben Greenman, Sam Saarinen, Tim Nelson +1

Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new…