Formal verification of SystemC^FL specifications using model checker SPIN

K.L. Man

Formal verification of SystemC^FL specifications using model checker SPIN

K.L. Man

Formal System Analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006)
Pagina's	...-...
Status	Gepubliceerd - 2006

Citeer dit

@inproceedings{685eefdc14d743c6bd9893eae8d00d0e,

title = "Formal verification of SystemC^FL specifications using model checker SPIN",

author = "K.L. Man",

year = "2006",

language = "English",

pages = "...--...",

booktitle = "Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006)",

}

Formal verification of SystemC^FL specifications using model checker SPIN. / Man, K.L.

Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006). 2006. blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review