A Mechanized Strategy for Safe Abstraction of CSP Specifications Export

@incollection{citeulike:6084209, abstract = {Infinite models cannot be directly analyzed by model checking. An alternative for achieving that is using data abstraction to derive a simpler (abstract) but finite model so that the properties can be verified using the abstract model instead. This work proposes a strategy and an algorithm for generating abstractions of systems modeled in the process algebra CSP. These abstractions are safe in the sense that they preserve trace-based refinements. We show the application of our strategy to an example.}, author = {Damasceno, Adriana and Farias, Adalberto and Mota, Alexandre}, citeulike-article-id = {6084209}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-642-10452-7_9}, citeulike-linkout-1 = {http://www.springerlink.com/content/x1u0802716085280}, doi = {10.1007/978-3-642-10452-7_9}, journal = {Formal Methods: Foundations and Applications}, keywords = {2009, \_conference, csp}, pages = {118--133}, posted-at = {2009-11-08 13:58:03}, priority = {2}, title = {A Mechanized Strategy for Safe Abstraction of CSP Specifications}, url = {http://dx.doi.org/10.1007/978-3-642-10452-7_9}, year = {2009} }

TY - CHAP ID - citeulike:6084209 L3 - citeulike-article-id:6084209 N2 - Infinite models cannot be directly analyzed by model checking. An alternative for achieving that is using data abstraction to derive a simpler (abstract) but finite model so that the properties can be verified using the abstract model instead. This work proposes a strategy and an algorithm for generating abstractions of systems modeled in the process algebra CSP. These abstractions are safe in the sense that they preserve trace-based refinements. We show the application of our strategy to an example. JF - Formal Methods: Foundations and Applications EP - 133 TI - A Mechanized Strategy for Safe Abstraction of CSP Specifications SP - 118 KW - 2009 KW - _conference KW - csp AU - Damasceno, Adriana AU - Farias, Adalberto AU - Mota, Alexandre PY - 2009/// UR - http://dx.doi.org/10.1007/978-3-642-10452-7_9 ER -