Deciding safety and liveness in TPTL (Q402360): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2014.06.005
@@ Property / DOI: 10.1016/j.ipl.2014.06.005 / rank @@
-Normal rank
@@ Property / author @@
-David A. Basin
@@ Property / author: David A. Basin / rank @@
-Normal rank
@@ Property / author @@
+David A. Basin
@@ Property / author: David A. Basin / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6335095
@@ Property / zbMATH DE Number: 6335095 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time systems
@@ Property / zbMATH Keywords: real-time systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+safety and liveness
@@ Property / zbMATH Keywords: safety and liveness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2014.06.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2127730150
@@ Property / OpenAlex ID: W2127730150 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, liveness and fairness in temporal logic
@@ Property / cites work: Safety, liveness and fairness in temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2014.06.005
@@ Property / DOI: 10.1016/J.IPL.2014.06.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:402360