The Library
Evaluation of formal verification technology at IARC
Tools
Chakrapani Rao, Arun (2005) Evaluation of formal verification technology at IARC. In: The 5th International Workshop on Automated Verification of Critical Systems, Coventry, UK, 13 Sep 2005
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
This is a contributed talk to the International Workshop organised by the Department of Computer Science, University of Warwick
Item Type: | Conference Item (Speech) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > Q Science (General) Q Science > QA Mathematics Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Official Date: | 15 August 2005 | ||||||
Dates: |
|
||||||
Status: | Not Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Conference Paper Type: | Speech | ||||||
Title of Event: | The 5th International Workshop on Automated Verification of Critical Systems | ||||||
Type of Event: | Workshop | ||||||
Location of Event: | Coventry, UK | ||||||
Date(s) of Event: | 13 Sep 2005 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |