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.

Abstract
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.
Files
 













 

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