Little Tricky Logic: Misconceptions in the Understanding of LTL
Authors: Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi
Paper Information
| Title: | Little Tricky Logic: Misconceptions in the Understanding of LTL |
| Authors: | Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi |
| Proceedings: | VardiFest22 Talk Abstracts |
| Editors: | Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang |
| Keywords: | LTL, misconceptions, user studies, property language design |
| Pages: | 2 |
| Talk: | Aug 01 12:20 (Session 33) |
| Paper: |  |