Synthesis from scenario-based specifications (Q439960): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2011.08.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2024101817
@@ Property / OpenAlex ID: W2024101817 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+On the Power of Play-Out for Scenario-Based Programs
+Normal rank
@@ Property / cites work @@
+SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
+Normal rank
@@ Property / cites work @@
+Q4427918
@@ Property / cites work: Q4427918 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037392
@@ Property / cites work: Q4037392 / rank @@
+Normal rank