Issue No. 05 - September/October (2011 vol. 28)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2011.111
Nicolas Troquard , Laboratory for Applied Ontology (ISTC-CNR)
<p>This is a review of <it>A Practical Introduction to PSL</it> (Springer, 2006) by Cindy Eisner and Dana Fisman. It is an excellent manual for engineers. The author explains why, seven years after the IEEE standardization, the absence of a textbook on PSL for the general academic community might be restraining the future development of hardware verification in industrial system designs.</p>
design and test, temporal logic, PSL, specification, verification, design, standards
N. Troquard, "Learning and Practice of the Property Specification Language," in IEEE Design & Test of Computers, vol. 28, no. , pp. 110-111, 2011.