The following pages link to (Q2754073):
Displaying 25 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)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- (Q5089123) (← links)
- Light-Weight SMT-based Model Checking (Q5178977) (← links)
- (Q5240148) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
