CNR Institutional Research Information System

This is a review of A Practical Introduction to PSL (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.

Learning and Practice of the Property Specification Language

Troquard;Nicolas
2011

Abstract

This is a review of A Practical Introduction to PSL (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.
2011
Istituto di Scienze e Tecnologie della Cognizione - ISTC
Inglese
Troquard, Nicolas
110
111
http://origin-www.computer.org/plugins/dl/pdf/mags/dt/2011/05/mdt2011050110.pdf?template=1&loginState=1&userData=anonymous-IP%253A%253AAddress%253A%2B92.122.215.84%252C%2B%255B140.98.196.191%252C%2B150.146.65.159%252C%2B92.122.215.84%252C%2B127.0.0.1%255D
design and test
temporal logic
PSL
standards
design
ID_PUMA: /cnr.istc/2011-ED-002. - Area di valutazione 01 - Scienze matematiche e informatiche
2
Troquard, Nicolas; Troquard, Nicolas
269
none
02 Contributo in Volume::02.02 Prefazione/Postfazione
info:eu-repo/semantics/bookPart
02.02 Prefazione/Postfazione
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/182600
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact