Pages that link to "Item:Q960506"

The following pages link to Combining partial-order reductions with on-the-fly model-checking. (Q960506):

Displaying 16 items.

• Stutter-invariant temporal properties are expressible without the next-time operator (Q290250) (← links)
• Transparent partial order reduction (Q453518) (← links)
• Formal verification of an executable LTL model checker with partial order reduction (Q682350) (← links)
• Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
• Model checking \(\omega \)-regular properties with decoupled search (Q832281) (← links)
• Verifying a signature architecture: a comparative case study (Q877156) (← links)
• An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages (Q1276242) (← links)
• On stubborn sets in the verification of linear time temporal properties (Q1774568) (← links)
• Exponential automatic amortized resource analysis (Q2200835) (← links)
• The inconsistent labelling problem of stutter-preserving partial-order reduction (Q2200842) (← links)
• From LCF to Isabelle/HOL (Q2280211) (← links)
• An application of temporal projection to interleaving concurrency (Q2403529) (← links)
• An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
• Multithreaded testing of program interfaces (Q2654998) (← links)
• Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
• Partial-Order Reduction (Q3176364) (← links)