Pages that link to "Item:Q896152"
From MaRDI portal
The following pages link to A canonical form based decision procedure and model checking approach for propositional projection temporal logic (Q896152):
Displayed 6 items.
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- PPTL specification mining based on LNFG (Q2089678) (← links)
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- Temporal logic specification mining of programs (Q2220776) (← links)
- Index set expressions can represent temporal logic formulas (Q2317353) (← links)
- Verifying a scheduling protocol of safety-critical systems (Q2424721) (← links)