Pages that link to "Item:Q2430015"

The following pages link to Expressiveness of propositional projection temporal logic with star (Q2430015):

Displaying 13 items.

• A formal proof of the deadline driven scheduler in PPTL axiomatic system (Q744103) (← links)
• 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)
• Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
• 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)
• A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
• Temporal logic specification mining of programs (Q2220776) (← links)
• Model checking Petri nets with MSVL (Q2279737) (← links)
• Index set expressions can represent temporal logic formulas (Q2317353) (← links)
• Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
• Extending MSVL with Semaphore (Q2817902) (← links)