Calculii Used for Process Selection
is model checking/verification
Request
Ψ
μ
⊗ {φ}
π
→ {P
j
} ⊆ {P
1
..P
i
...P
n
}
Using LTS and tableau computations.
In general, does a process match a specification?
©2012
Charles Petrie
- permission to reproduce widely with attribution.
is model checking/verification
