Pages that link to "Item:Q290250"
From MaRDI portal
The following pages link to Stutter-invariant temporal properties are expressible without the next-time operator (Q290250):
Displaying 28 items.
- A note on a question of Peled and Wilke regarding stutter-invariant LTL (Q294841) (← links)
- Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Formal verification of an executable LTL model checker with partial order reduction (Q682350) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- A note on the characterization of TL [EF] (Q845961) (← links)
- Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
- A note on stutter-invariant PLTL (Q989448) (← links)
- On projective and separable properties (Q1389766) (← links)
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- Deciding global partial-order properties (Q1774565) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- Taming past LTL and flat counter systems (Q2346416) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Verification of probabilistic systems with faulty communication (Q2573634) (← links)
- Partial-Order Reduction (Q3176364) (← links)
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (Q3503894) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms (Q3646255) (← links)
- Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
- Safe Runtime Verification of Real-Time Properties (Q3648826) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
