The following pages link to (Q4817539):
Displaying 14 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Permutation rewriting and algorithmic verification (Q865624) (← links)
- Iterating transducers (Q1858440) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Verification of parametric concurrent systems with prioritised FIFO resource management (Q2481584) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- Exact Acceleration of Real-Time Model Checking (Q2842578) (← links)
- Regular Model Checking using Widening Techniques (Q4921501) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- Networks of Processes with Parameterized State Space (Q4921504) (← links)
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism (Q5179049) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)
