The following pages link to (Q2754073):
Displaying 20 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Context-aware counter abstraction (Q600978) (← links)
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- On one application of computations with oracle (Q1758675) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- Verification as a parameterized testing (experiments with the SCP4 supercompiler) (Q2371554) (← links)
- On the \(\omega\)-language expressive power of extended Petri nets (Q2491637) (← links)
- Well-structured languages (Q2641880) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- (Q5089123) (← links)
- Light-Weight SMT-based Model Checking (Q5178977) (← links)
- (Q5240148) (← links)
