git @ Cat's Eye Technologies The-Glosscubator / 8ee419d
Rate two more papers (in Model Checking). Chris Pressey 1 year, 25 days ago
3 changed file(s) with 19 addition(s) and 3 deletion(s). Raw diff Collapse all Expand all
1515 Of these, [**101** have the highest rating](by-rating/Top-rated.md),
1616 [**25** are considered classics](by-rating/Classic.md),
1717 [**46** are considered very interesting](by-rating/Very%20Interesting.md),
18 while [**78** are yet to be rated](by-rating/Unrated.md).
18 while [**76** are yet to be rated](by-rating/Unrated.md).
1919
2020 <!-- /TOTALS -->
2121
149149
150150 ### Model Checking
151151
152 * [Model Checking CTL is Almost Always Inherently Sequential](https://arxiv.org/abs/1103.4990)
153 * [Cycle Detection in Computation Tree Logic](https://arxiv.org/abs/1609.04095)
154152 * [Direct Model-checking of SysML Models](https://www.scitepress.org/Papers/2021/102563/102563.pdf)
155153
156154 ### Name Binding
101101 I like how it's described as
102102 "a chapter for the (very expensive) Handbook of Modal Logic, published by Elsevier in 2006".
103103
104 Model Checking
105 --------------
106
107 ### Model Checking CTL is Almost Always Inherently Sequential
108
109 * rating: 0
110
111 By "inherently sequential" they mean P-complete. Model checking for CTL is already known
112 to be P-complete, but they show it for a whole bunch of different fragments too.
113
114 ### Cycle Detection in Computation Tree Logic
115
116 * rating: 1
117
118 A variation of CTL* which is aware of cycles is defined; it is called Cycle-CTL*. Various
119 things are proven about Cycle-CTL*. It is a very expressive language for statements
120 about the temporal behaviour of a system.
121
104122 PLDI
105123 ----
106124