The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2011 vol.28)
pp: 110-111
Nicolas Troquard , Laboratory for Applied Ontology (ISTC-CNR)
ABSTRACT
<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>
INDEX TERMS
design and test, temporal logic, PSL, specification, verification, design, standards
CITATION
Nicolas Troquard, "Learning and Practice of the Property Specification Language", IEEE Design & Test of Computers, vol.28, no. 5, pp. 110-111, September/October 2011, doi:10.1109/MDT.2011.111
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool