A novel approach to verifying context free properties of programs (Q2290651): Difference between revisions

@@ Property / author @@
-Hongwei David Du
@@ Property / author: Hongwei David Du / rank @@
-Normal rank
@@ Property / author @@
+Hongwei David Du
@@ Property / author: Hongwei David Du / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Murphi
@@ Property / describes a project that uses: Murphi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MSVL
@@ Property / describes a project that uses: MSVL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CESAR
@@ Property / describes a project that uses: CESAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPAchecker
@@ Property / describes a project that uses: CPAchecker / 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.tcs.2020.01.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2998933178
@@ Property / OpenAlex ID: W2998933178 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / 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 @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+A cylinder computation model for many-core parallel computing
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of propositional projection temporal logic with star
+Normal rank
@@ Property / cites work @@
+A compiler for MSVL and its applications
@@ Property / cites work: A compiler for MSVL and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanism of function calls in MSVL
@@ Property / cites work: A mechanism of function calls in MSVL / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+An experience in proving regular networks of processes by modular model checking
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738460
@@ Property / cites work: Q4738460 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / Wikidata QID @@
+Q126384761
@@ Property / Wikidata QID: Q126384761 / rank @@
+Normal rank