Construction of Abstract State Graphs with PVS Export

@inproceedings{citeulike:2836772, abstract = {: We describe in this paper a method based on abstract interpretation which, from a theoretical point of view, is similar to the splitting methods proposed in [DGG93, Dam96] but the weaker abstract transition relation we use, allows us to construct automatically abstract state graphs paying a reasonable price. We consider a particular set of abstract states: the set of the monomials on a set of state predicates ' 1 ; :::; ' ` . The successor of an abstract state m for a transition {\o} of the...}, author = {Graf, S. and Saidi, H.}, booktitle = {Proc. 9th INternational Conference on Computer Aided Verification ({CAV}'97)}, citeulike-article-id = {2836772}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.1920}, editor = {Grumberg, O.}, keywords = {1997, abstraction, predicate, verification}, pages = {72--83}, posted-at = {2008-05-27 09:28:40}, priority = {2}, publisher = {Springer Verlag}, title = {Construction of Abstract State Graphs with PVS}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.1920}, volume = {1254}, year = {1997} }

TY - CONF ID - citeulike:2836772 L3 - citeulike-article-id:2836772 N2 - : We describe in this paper a method based on abstract interpretation which, from a theoretical point of view, is similar to the splitting methods proposed in [DGG93, Dam96] but the weaker abstract transition relation we use, allows us to construct automatically abstract state graphs paying a reasonable price. We consider a particular set of abstract states: the set of the monomials on a set of state predicates ' 1 ; :::; ' ` . The successor of an abstract state m for a transition ø of the... EP - 83 TI - Construction of Abstract State Graphs with PVS PB - Springer Verlag VL - 1254 T2 - Proc. 9th INternational Conference on Computer Aided Verification ({CAV}'97) SP - 72 KW - 1997 KW - abstraction KW - predicate KW - verification AU - Graf, S AU - Saidi, H A2 - Grumberg, O PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.1920 ER -