Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures Export

@inproceedings{citeulike:1214951, abstract = {ions of Reactive Systems using Decision Procedures ? Michael A. Col'on and Tom'as E. Uribe Computer Science Department, Stanford University Stanford, CA 94305 colon---uribe@cs.stanford.edu Abstract. We present an algorithm that uses decision procedures to generate finite-state abstractions of possibly infinite-state systems. The algorithm compositionally abstracts the transitions of the system, relative to a given, fixed set of assertions. Thus, the number of validity checks is proportional...}, author = {Colon, Michael and Uribe, Tomas E.}, booktitle = {Computer Aided Verification}, citeulike-article-id = {1214951}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4077}, keywords = {abstracting, abstraction, causal-state-machine, clocked-transition-system, domain-theory, model-checking, partial-order, refinement, simulation, state-space, temporal-logic, transition-system}, pages = {293--304}, posted-at = {2007-04-07 13:52:48}, priority = {2}, title = {Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4077}, year = {1998} }

TY - CONF ID - citeulike:1214951 L3 - citeulike-article-id:1214951 N2 - ions of Reactive Systems using Decision Procedures ? Michael A. Col'on and Tom'as E. Uribe Computer Science Department, Stanford University Stanford, CA 94305 colon---uribe@cs.stanford.edu Abstract. We present an algorithm that uses decision procedures to generate finite-state abstractions of possibly infinite-state systems. The algorithm compositionally abstracts the transitions of the system, relative to a given, fixed set of assertions. Thus, the number of validity checks is proportional... EP - 304 TI - Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures T2 - Computer Aided Verification SP - 293 KW - abstracting KW - abstraction KW - causal-state-machine KW - clocked-transition-system KW - domain-theory KW - model-checking KW - partial-order KW - refinement KW - simulation KW - state-space KW - temporal-logic KW - transition-system AU - Colon, Michael AU - Uribe, Tomas PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4077 ER -