Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790): Difference between revisions

@@ Property / OpenAlex ID @@
+W1677924248
@@ Property / OpenAlex ID: W1677924248 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1687
@@ Property / arXiv ID: 0801.1687 / rank @@
+Normal rank
@@ Property / cites work @@
+Latticed-LTL Synthesis in the Presence of Noisy Inputs
+Normal rank
@@ Property / cites work @@
+Q4344071
@@ Property / cites work: Q4344071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551152
@@ Property / cites work: Q4551152 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for automated distributed implementation of component-based models
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of concurrent systems for an atomic read/atomic write model of computation
+Normal rank
@@ Property / cites work @@
+Dynamic input/output automata: a formal and compositional model for dynamic systems
+Normal rank
@@ Property / cites work @@
+Finite-state concurrent programs can be expressed in pairwise normal form
+Normal rank
@@ Property / cites work @@
+Synthesis of fault-tolerant concurrent programs
@@ Property / cites work: Synthesis of fault-tolerant concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries with Costs
@@ Property / cites work: Synthesis from Component Libraries with Costs / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic synthesis of masking fault-tolerant distributed programs
+Normal rank
@@ Property / cites work @@
+Characterizing finite Kripke structures in propositional temporal logic
+Normal rank
@@ Property / cites work @@
+Enhancing model checking in verification by AI techniques
+Normal rank
@@ Property / cites work @@
+Abstract Model Repair
@@ Property / cites work: Abstract Model Repair / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962450
@@ Property / cites work: Q3962450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037392
@@ Property / cites work: Q4037392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Eventually-serializable data services
@@ Property / cites work: Eventually-serializable data services / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis
@@ Property / cites work: Bounded Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769579
@@ Property / cites work: Q2769579 / 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 @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank