Pages that link to "Item:Q744099"
From MaRDI portal
The following pages link to A practical decision procedure for propositional projection temporal logic with infinite models (Q744099):
Displaying 13 items.
- A canonical form based decision procedure and model checking approach for propositional projection temporal logic (Q896152) (← links)
- A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- Index set expressions can represent temporal logic formulas (Q2317353) (← links)
- Verifying a scheduling protocol of safety-critical systems (Q2424721) (← links)
- A temporal logic programming approach to planning (Q2424818) (← links)
- Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
- Satisfiability of Linear Time Mu-Calculus on Finite Traces (Q2817904) (← links)
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution (Q3196412) (← links)
