Construction of abstract state graphs with PVS Export

@incollection{citeulike:1968431, abstract = {In this paper, we propose a method for the automatic construction of an abstract state graph of an arbitrary system using the Pvs theorem prover.}, author = {Graf, Susanne and Saidi, Hassen}, citeulike-article-id = {1968431}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-63166-6_10}, doi = {10.1007/3-540-63166-6_10}, journal = {Computer Aided Verification}, keywords = {1997, abstraction, blast, booleanprogram, modelchecking, slam}, pages = {72--83}, posted-at = {2009-05-14 15:58:16}, priority = {3}, title = {Construction of abstract state graphs with PVS}, url = {http://dx.doi.org/10.1007/3-540-63166-6_10}, year = {1997} }

TY - CHAP ID - citeulike:1968431 L3 - citeulike-article-id:1968431 N2 - In this paper, we propose a method for the automatic construction of an abstract state graph of an arbitrary system using the Pvs theorem prover. JF - Computer Aided Verification EP - 83 TI - Construction of abstract state graphs with PVS SP - 72 KW - 1997 KW - abstraction KW - blast KW - booleanprogram KW - modelchecking KW - slam AU - Graf, Susanne AU - Saidi, Hassen PY - 1997/// UR - http://dx.doi.org/10.1007/3-540-63166-6_10 ER -