PSL: Beyond Hardware Verification Export

@incollection{GlazbergPSL, abstract = {In recent years, the language PSL (Property Specification Language, a.k.a. IEEE P1850) has been embraced and put to successful use by chip design/verification engineers across the electronics industry. While PSL is mainly used for hardware verification, it can, in fact, be used to verify a wide variety of systems, including missile interception systems, railway interlocking protocols, system automation policies, and even business processes.We discuss and exemplify how PSL can be used as a general purpose language for the specification of models and properties, beyond hardware systems.}, author = {Glazberg, Ziv and Moulin, Mark and Orni, Avigail and Ruah, Sitvanit and Zarpas, Emmanuel}, citeulike-article-id = {6070456}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-1-4020-6254-4_19}, citeulike-linkout-1 = {http://www.springerlink.com/content/p8147wj06n153545}, doi = {10.1007/978-1-4020-6254-4_19}, journal = {Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems}, keywords = {model\_checking, vav}, pages = {245--260}, posted-at = {2009-11-04 16:56:38}, priority = {2}, title = {PSL: Beyond Hardware Verification}, url = {http://dx.doi.org/10.1007/978-1-4020-6254-4_19}, year = {2007} }

TY - CHAP ID - GlazbergPSL L3 - citeulike-article-id:6070456 N2 - In recent years, the language PSL (Property Specification Language, a.k.a. IEEE P1850) has been embraced and put to successful use by chip design/verification engineers across the electronics industry. While PSL is mainly used for hardware verification, it can, in fact, be used to verify a wide variety of systems, including missile interception systems, railway interlocking protocols, system automation policies, and even business processes.We discuss and exemplify how PSL can be used as a general purpose language for the specification of models and properties, beyond hardware systems. JF - Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems EP - 260 TI - PSL: Beyond Hardware Verification SP - 245 KW - model_checking KW - vav AU - Glazberg, Ziv AU - Moulin, Mark AU - Orni, Avigail AU - Ruah, Sitvanit AU - Zarpas, Emmanuel PY - 2007/// UR - http://dx.doi.org/10.1007/978-1-4020-6254-4_19 ER -