A compiler for MSVL and its applications (Q1630985): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2017.07.032
@@ Property / DOI: 10.1016/j.tcs.2017.07.032 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JPAX
@@ Property / describes a project that uses: JPAX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SHOP2
@@ Property / describes a project that uses: SHOP2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / 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.2017.07.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2742794271
@@ Property / OpenAlex ID: W2742794271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Fairness modulo theory: a new approach to LTL software model checking
+Normal rank
@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+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 @@
+A cylinder computation model for many-core parallel computing
+Normal rank
@@ Property / cites work @@
+Linear temporal logic as an executable semantics for planning languages
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+TALplanner: A temporal logic based forward chaining planner
+Normal rank
@@ Property / cites work @@
+Q4449309
@@ Property / cites work: Q4449309 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2017.07.032
@@ Property / DOI: 10.1016/J.TCS.2017.07.032 / rank @@
+Normal rank