{"version":"1.0","type":"link","title":"Reachability analysis - Newikis","description":"Reachability analysis is a solution to the reachability problem 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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}