Compositional Reasoning (Q3176370): Difference between revisions

@@ Property / cites work @@
+An abstract account of composition
@@ Property / cites work: An abstract account of composition / rank @@
+Normal rank
@@ Property / cites work @@
+All for the Price of Few
@@ Property / cites work: All for the Price of Few / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of interface specifications for Java classes
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Automated Assume-Guarantee Reasoning by Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Three optimizations for assume-guarantee reasoning with \(L^{*}\)
+Normal rank
@@ Property / cites work @@
+Learning Minimal Separating DFA’s for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Process Algebra and Model Checking
@@ Property / cites work: Process Algebra and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Local proofs for global safety properties
@@ Property / cites work: Local proofs for global safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Local Proofs for Linear-Time Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Parallelizing a Symbolic Compositional Model-Checking Algorithm
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Abstraction and Abstraction Refinement
@@ Property / cites work: Abstraction and Abstraction Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Verification of parameterized concurrent programs by modular reasoning about data and control
+Normal rank
@@ Property / cites work @@
+Inductive data flow graphs
@@ Property / cites work: Inductive data flow graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Learning-Based Compositional Verification for Synchronous Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Modular verification of multithreaded programs
@@ Property / cites work: Modular verification of multithreaded programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426384
@@ Property / cites work: Q4426384 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality Entails Sequentializability
@@ Property / cites work: Compositionality Entails Sequentializability / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear dynamics of networks:  the groupoid formalism
+Normal rank
@@ Property / cites work @@
+Q4037383
@@ Property / cites work: Q4037383 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated assumption generation for compositional verification
+Normal rank
@@ Property / cites work @@
+Predicate abstraction and refinement for verifying multi-threaded programs
+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 @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Learning Probabilistic Systems from Tree Samples
@@ Property / cites work: Learning Probabilistic Systems from Tree Samples / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787428
@@ Property / cites work: Q3787428 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417869
@@ Property / cites work: Q4417869 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Construction of Submodule Specifications and Communication Protocols
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic symbolic compositional verification by learning assumptions
+Normal rank
@@ Property / cites work @@
+Symmetry and Completeness in the Analysis of Parameterized Systems
+Normal rank
@@ Property / cites work @@
+On the completeness of compositional reasoning methods
+Normal rank
@@ Property / cites work @@
+Local Symmetry and Compositional Verification
@@ Property / cites work: Local Symmetry and Compositional Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Uncovering Symmetries in Irregular Process Networks
+Normal rank
@@ Property / cites work @@
+Verifying properties of parallel programs
@@ Property / cites work: Verifying properties of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
+Normal rank
@@ Property / cites work @@
+Temporal Logic and Fair Discrete Systems
@@ Property / cites work: Temporal Logic and Fair Discrete Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769579
@@ Property / cites work: Q2769579 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank