The Community for Technology Leaders
Green Image
Issue No. 05 - September/October (2011 vol. 28)
ISSN: 0740-7475
pp: 110-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.
94 ms
(Ver 3.3 (11022016))