Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Reachability analysis
open-in-new
<p>Reachability analysis is a solution to the <a href="/facts/Reachability_problem/jlBpsn98">reachability problem</a> in the particular context of distributed systems. It is used to determine which global states can be reached by a distributed system which consists of a certain number of local entities that communicated by the exchange of messages. </p>