Verification of asynchronous systems with an unspecified component (Q1731830): Difference between revisions

@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Automated Assume-Guarantee Reasoning by Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+Q3321470
@@ Property / cites work: Q3321470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized L*-Based Assume-Guarantee Reasoning
@@ Property / cites work: Optimized L*-Based Assume-Guarantee Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Synthesis for Asynchronous Controllers and Interfaces
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
+Normal rank
@@ Property / cites work @@
+Compositionality of Hennessy-Milner logic by structural operational semantics
+Normal rank
@@ Property / cites work @@
+Inferring Network Invariants Automatically
@@ Property / cites work: Inferring Network Invariants Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Assumption Generation for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Discrete-event control of nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+On the Construction of Fine Automata for Safety Properties
+Normal rank
@@ Property / cites work @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
+Normal rank
@@ Property / cites work @@
+Automatic symbolic compositional verification by learning assumptions
+Normal rank
@@ Property / cites work @@
+Supervisory control using failure semantics and partial specifications
+Normal rank
@@ Property / cites work @@
+Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222064
@@ Property / cites work: Q3222064 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790350
@@ Property / cites work: Q4790350 / rank @@
+Normal rank