Little Tricky Logic: Misconceptions in the Understanding of LTL

Title:Little Tricky Logic: Misconceptions in the Understanding of LTL

Authors:Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi

Conference:VardiFest22

Tags:LTL, misconceptions, property language design and user studies

Abstract:

We have been studying LTL misconceptions with multiple populations to determine *in what ways* LTL is tricky and to decide *what we can do* to address the issues. We propose an interactive remote talk that aims to demonstrate the LTL misconceptions and expert blind spots that we have found.

Little Tricky Logic: Misconceptions in the Understanding of LTL

1

3

5

7

9

11

13

15

17

19

21

23

25

27

29

31

33

35

37

39

41

43

45

47

49

51

53

55

57

59

61

63

65

67

69

71

72

1of72

1

2

3

4