The following pages link to Recognizing safety and liveness (Q1100884):
Displaying 50 items.
- An interface theory for service-oriented design (Q407507) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Which security policies are enforceable by runtime monitors? A survey (Q465692) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Snap-stabilization in message-passing systems (Q666259) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- The existence of refinement mappings (Q805251) (← links)
- Safety and liveness of \(\omega\)-context-free languages (Q811129) (← links)
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
- Proving correctness with respect to nondeterministic safety specifications (Q1182117) (← links)
- Proving possibility properties (Q1276319) (← links)
- A formal theory of simulations between infinite automata (Q1309253) (← links)
- Safety, liveness and fairness in temporal logic (Q1343862) (← links)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Control design for nondeterministic input/output automata (Q1662972) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- On relative and probabilistic finite counterability (Q1742987) (← links)
- Using partial orders for the efficient verification of deadlock freedom and safety properties (Q1801499) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- On satisficing in quantitative games (Q2044188) (← links)
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees (Q2051763) (← links)
- Certifying DFA bounds for recognition and separation (Q2147179) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- Monitoring hyperproperties with circuits (Q2165208) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- Certifying inexpressibility (Q2233423) (← links)
- Two-process synchronization (Q2357145) (← links)
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
- LTL is closed under topological closure (Q2448112) (← links)
- A complete characterization of deterministic regular liveness properties (Q2465051) (← links)
- Prime languages (Q2514149) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface (Q3009342) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- Modeling for Verification (Q3176361) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Compositional System Security with Interface-Confined Adversaries (Q3178245) (← links)
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees (Q3303894) (← links)
- Discriminative Model Checking (Q3512513) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- Characterization of temporal property classes (Q5204340) (← links)
- (Q5376664) (← links)
