Searching for "Compositional Reasoning in Model Checking." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Compositional Reasoning in Model Checking
- …Compositional Reasoning in Model Checking ? Sergey Berezin 1 S'ergio Campos 2 Edmund M. Clarke…
- Cited by 27 (4 self) – Add To MetaCart
-
R.P.: Translation-based compositional reasoning for software systems
- … of compositional reasoning in the context of model checking software systems through model translation…
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking of the Fairisle ATM Switch
- … the compositional reasoning on model checking, we first establish for a module N an environment N' which satisfies a…
- Add To MetaCart
-
Algorithm Results Reducible Nets Related Work Future Work
- … reasoning in model checking. In: Proc. COMPOS (1997). Weiser, M.: Program slicing. In: Proceedings of the 5…
- Add To MetaCart
-
Compositional reasoning for hardware/software co-verification
- …. Compositional reasoning [3–9], as applied in model checking, is a powerful state space reduction algorithm…
- Cited by 2 (2 self) – Add To MetaCart
-
Thread-modular model checking
- … of the related work on verification of multithreaded software by compositional reasoning and model checking…
- Cited by 43 (7 self) – Add To MetaCart
-
Assume-Guarantee Model Checking
- … by compositional reasoning and model checking. Cobleigh et al. [CGP03] share our motivation of reducing…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Completeness of Compositional Reasoning
- ….e., if (8 8 8W : LW (M) ) f) holds. 2.3 Compositional Reasoning The model checking question for a…
- Cited by 18 (4 self) – Add To MetaCart
-
Verifying a Sliding Window Protocol in µCRL
- …, compositional reasoning and model checking to verify safety and liveness properties for a SWP with window size…
- Cited by 5 (2 self) – Add To MetaCart
-
Mechanical Verification of a Two-Way Sliding Window Protocol
- … combination of abstraction, data independence, compositional reasoning and model checking to verify safety…
- Add To MetaCart
Showing 1 through 10.
