Pages that link to "Item:Q1276242"
From MaRDI portal
The following pages link to An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages (Q1276242):
Displaying 13 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- A note on a question of Peled and Wilke regarding stutter-invariant LTL (Q294841) (← links)
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
- Permutation rewriting and algorithmic verification (Q865624) (← links)
- On projective and separable properties (Q1389766) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Partial-Order Reduction (Q3176364) (← links)
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (Q3503894) (← links)
- Realizability of Concurrent Recursive Programs (Q3617744) (← links)
- Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware (Q5039518) (← links)
- ENFORCING CONCURRENT TEMPORAL BEHAVIORS (Q5484900) (← links)
