prindi

PSL assertion checking with temporally extended high-level decision diagrams

autor
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas
Proceedings of the 9th IEEE Latin-American Test Workshop : LATW2008 : February 17-20, 2008, Puebla, Mexico
ilmumiskoht
[S.l.]
ilmumisaasta
2008
leheküljed
p. 49-54 : ill
leitav
https://pld.ttu.ee/~maksim/phd_papers/%5B11%5D%20latw%2708.pdf
märksõna
verifikatsioon
otsustusdiagrammid
märkused
Bibliogr.: 19 ref
keel
inglise
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. PSL assertion checking with temporally extended high-level decision diagrams // Proceedings of the 9th IEEE Latin-American Test Workshop : LATW2008 : February 17-20, 2008, Puebla, Mexico. [S.l.], 2008. p. 49-54 : ill. https://pld.ttu.ee/~maksim/phd_papers/%5B11%5D%20latw%2708.pdf