The following pages link to (Q4472249):
Displaying 24 items.
- Bounded model checking of ETL cooperating with finite and looping automata connectives (Q364388) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Parametric linear dynamic logic (Q515660) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Visibly linear temporal logic (Q682377) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- On regular temporal logics with past (Q977176) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Incorporating monitors in reactive synthesis without paying the price (Q2147214) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Automata Theory and Model Checking (Q3176362) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Linear-Time Model Checking: Automata Theory in Practice (Q3503888) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Matching Trace Patterns with Regular Policies (Q3618572) (← links)
- (Q5015281) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- Automata-Theoretic Model Checking Revisited (Q5452603) (← links)
- Temporal logics with language parameters (Q6186316) (← links)
