Linköping University: Students Alumni Trade and Industry/Society Internal Search
ssocc05_danka

Validation of Embedded Systems using Formal Method aided Simulation

Daniel Karlsson
Petru Eles Author homepage
Zebo Peng Author homepage

Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)

ABSTRACT

[KEP05] Daniel Karlsson, Petru Eles, Zebo Peng, "Validation of Embedded Systems using Formal Method aided Simulation", Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)