11 search results - page 3 / 3 » Proving Liveness by Backwards Reachability |
175
click to vote
FORTE
1994
15 years 5 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...