11 search results - page 3 / 3 » Proving Liveness by Backwards Reachability |
FORTE
1994
13 years 6 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...