The following pages link to Defining liveness (Q1064056):
Displaying 50 items.
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- On relative and probabilistic finite counterability (Q1742987) (← links)
- Succinct representations of languages by DFA with different levels of reliability (Q1763718) (← links)
- Time and logic: A calculus of binary events (Q1805011) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- MinMax algorithms for stabilizing consensus (Q1981802) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Verification of compliance for multilevel models in individual trace semantics (Q2064403) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Model checking hyperproperties for Markov decision processes (Q2105474) (← links)
- Finite-word hyperlanguages (Q2232276) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- On probabilistic snap-stabilization (Q2357149) (← links)
- Non-interference and local correctness in transactional memory (Q2357153) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- LTL is closed under topological closure (Q2448112) (← links)
- A complete characterization of deterministic regular liveness properties (Q2465051) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Timed CSP = Closed Timed Automata1 (Q2842610) (← links)
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- (Q3300832) (← links)
- AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES (Q3395145) (← links)
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (Q3602799) (← links)
- Liveness in timed and untimed systems (Q4632424) (← links)
- Abstraction and composition: a verification method for co-operating systems (Q4783359) (← links)
- A case study in the mechanical verification of fault tolerance (Q4783363) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- (Q5091093) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
- Fairness and hyperfairness (Q5137907) (← links)
- Safety assurance via on-line monitoring (Q5138497) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- Characterization of temporal property classes (Q5204340) (← links)
