Pages that link to "Item:Q3502632"
From MaRDI portal
The following pages link to Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions (Q3502632):
Displayed 6 items.
- A canonical form based decision procedure and model checking approach for propositional projection temporal logic (Q896152) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- PPTL specification mining based on LNFG (Q2089678) (← links)
- Model checking open systems with alternating projection temporal logic (Q2424878) (← links)
- Bounded model checking of traffic light control system (Q2520617) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)