11th workshop on RTL and high level testing , 2010-12-05
Title : ( Transaction Level Formal Verification using Timed Automata )
Authors: Amirali Ghofrani , Fatemeh Javaheri , Hamid Noori , Zainalabedin Navabi ,
دانلود فایل برای اعضای دانشگاهAccess to full-text not allowed by authors
Abstract
In this paper a form al methodo logy is proposed to verify TLM
Keywords
forma l verification; t imed automata; transaction levelmodelingبرای دانلود از شناسه و رمز عبور پرتال پویا استفاده کنید.
@inproceedings{paperid:1026388,
author = {Amirali Ghofrani and Fatemeh Javaheri and Noori, Hamid and Zainalabedin Navabi},
title = {Transaction Level Formal Verification using Timed Automata},
booktitle = {11th workshop on RTL and high level testing},
year = {2010},
location = {Shanghai},
keywords = {forma l verification; t imed automata; transaction levelmodeling},
}
%0 Conference Proceedings
%T Transaction Level Formal Verification using Timed Automata
%A Amirali Ghofrani
%A Fatemeh Javaheri
%A Noori, Hamid
%A Zainalabedin Navabi
%J 11th workshop on RTL and high level testing
%D 2010
