11 search results - page 3 / 3 » Proving Liveness by Backwards Reachability |
132
Voted
FORTE
1994
15 years 29 days 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...