FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: