Pages that link to "Item:Q805251"
From MaRDI portal
The following pages link to The existence of refinement mappings (Q805251):
Displaying 50 items.
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Finite and infinite implementation of transition systems (Q1758157) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)
- Fair simulation (Q1854506) (← links)
- On the complexity of verifying concurrent transition systems (Q1854510) (← links)
- Verification of schedulability for real-time programs (Q1904642) (← links)
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- UNITY and Büchi automata (Q2026375) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- Synthesizing precise and useful commutativity conditions (Q2208295) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Refinement calculus: A basis for translation validation, debugging and certification (Q2368949) (← links)
- Precise specification matching for adaptive reuse in embedded systems (Q2372190) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Splitting forward simulations to cope with liveness (Q2491215) (← links)
- Refinement verification of the lazy caching algorithm (Q2509154) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Byzantizing Paxos by Refinement (Q3095328) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Design and Verification of Fault-Tolerant Components (Q3623817) (← links)
- Formal Verification for High-Assurance Behavioral Synthesis (Q3648710) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- Requirements, specifications, and minimal refinement (Q4916211) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- (Q5155670) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
- Layout Randomization and Nondeterminism (Q5418953) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Minimal refinements of specifications in modal and temporal logics (Q5899160) (← links)
- Minimal refinements of specifications in modal and temporal logics (Q5920375) (← links)
- Axioms for real-time logics (Q5958467) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)