Pages that link to "Item:Q960506"

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

Displaying 32 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)
• Optimising the ProB model checker for B using partial order reduction (Q736463) (← 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)
• An efficient partial order reduction algorithm with an alternative proviso implementation (Q1600652) (← links)
• On stubborn sets in the verification of linear time temporal properties (Q1774568) (← links)
• Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← 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)
• Partial model checking using networks of labelled transition systems and Boolean equation systems (Q2851668) (← links)
• Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
• Partial-Order Reduction (Q3176364) (← links)
• Survey on Directed Model Checking (Q3614878) (← links)
• Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
• (Q4738472) (← links)
• (Q5155669) (← links)
• Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Q5164176) (← links)
• Dynamic partial-order reduction for model checking software (Q5276139) (← links)
• (Q5856425) (← links)
• Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
• Partial-order reduction in the weak modal mu-calculus (Q6044105) (← links)
• An algorithmic approach for checking closure properties of Ω-regular languages (Q6162107) (← links)
• Finding Stubborn Sets of Coloured Petri Nets without Unfolding (Q6487388) (← links)
• On Stubborn Sets in the Verification of Linear Time Temporal Properties (Q6487389) (← links)