SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Computing Abstractions of Infinite State Systems Compositionally and Automatically
 by Sam Owre, Saddek Bensalem & Yassine Lakhnech.

We present a method for computing abstractions of infinite state systems compositionally and automatically. Given a concrete system S = S1 || ... || Sn of programs and given an abstraction function a, using our method one can compute an abstract system Sa = Sa1 || ... || San such that S simulates Sa. A distinguishing feature of our method is that it does not produce a single abstract state graph but rather preserves the structure of the concrete system. Tills feature is a prerequisite to ben efit from the techniques developed in the context of model-checking for mitigating the state explosion. Moreover, our method has the advantage that the process of constructing the abstract system does not depend on whether the computation model is synchronous or asynchronous.


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2021 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy