The Library
Evaluation of formal verification technology for model-based development of automotive software
Tools
Chakrapani Rao, Arun (2006) Evaluation of formal verification technology for model-based development of automotive software. In: Premium Automotive R&D Conference, Coventry, UK, 09 Mar 2006
PDF
PARD Conference Formal Verification 090306.pdf Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (2165Kb) |
Abstract
This conference presentation covers the practical formal methods work carried out within the Premium Automotive R&D programme for wider dissemination. It includes information on real-life case studies from Jaguar Land Rover and the COTS formal methods tool used.
Item Type: | Conference Item (Speech) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > Q Science (General) Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > T Technology (General) T Technology > TK Electrical engineering. Electronics Nuclear engineering T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Official Date: | 15 February 2006 | ||||||
Dates: |
|
||||||
Status: | Not Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Conference Paper Type: | Speech | ||||||
Title of Event: | Premium Automotive R&D Conference | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Coventry, UK | ||||||
Date(s) of Event: | 09 Mar 2006 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |