Functional Specification of Hardware via Temporal Logic (Q3176382): Difference between revisions

@@ Property / describes a project that uses @@
+FoCs
@@ Property / describes a project that uses: FoCs / 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.1007/978-3-319-10575-8_24
+Normal rank
@@ Property / OpenAlex ID @@
+W2804949216
@@ Property / OpenAlex ID: W2804949216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754115
@@ Property / cites work: Q2754115 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417914
@@ Property / cites work: Q4417914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472249
@@ Property / cites work: Q4472249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551164
@@ Property / cites work: Q4551164 / rank @@
+Normal rank
@@ Property / cites work @@
+Hardware and Software, Verification and Testing
@@ Property / cites work: Hardware and Software, Verification and Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding finite automata within regular expressions
+Normal rank
@@ Property / cites work @@
+Q4817546
@@ Property / cites work: Q4817546 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Some Complexity Results for SystemVerilog Assertions
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological characterization of weakness
@@ Property / cites work: A topological characterization of weakness / rank @@
+Normal rank
@@ Property / cites work @@
+Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449225
@@ Property / cites work: Q4449225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465439
@@ Property / cites work: Q5465439 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinctness of Regular Expressions with Interleaving, Intersection and Counting
+Normal rank
@@ Property / cites work @@
+Q4910730
@@ Property / cites work: Q4910730 / rank @@
+Normal rank
@@ Property / cites work @@
+Validating the PSL/Sugar semantics using automated reasoning
+Normal rank
@@ Property / cites work @@
+Q3768883
@@ Property / cites work: Q3768883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318104
@@ Property / cites work: Q3318104 / rank @@
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Process logic with regular formulas
@@ Property / cites work: Process logic with regular formulas / rank @@
+Normal rank
@@ Property / cites work @@
+State Complexity of Chop Operations on Unary and Finite Languages
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Proof System for QPTL
@@ Property / cites work: Complete Proof System for QPTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817542
@@ Property / cites work: Q4817542 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Star-free regular sets of ω-sequences
@@ Property / cites work: Star-free regular sets of ω-sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771059
@@ Property / cites work: Q2771059 / rank @@
+Normal rank
@@ Property / cites work @@
+From Church and Prior to PSL
@@ Property / cites work: From Church and Prior to PSL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341881
@@ Property / cites work: Q3341881 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank