The Library
More automated formal methods?! : If so, why, where & how?
Tools
Tools
Tools
Chakrapani Rao, Arun (2018) More automated formal methods?! : If so, why, where & how? In: Automated Formal Methods Workshop 2017, in association with 9th NASA Formal Methods Symposium (NFM) 2017, Moffett Field, California, USA, 19-20 May 2017 . Published in: Proceedings of Automated Formal Methods (AFM) 2017, in association with 9th NASA Formal Methods Symposium (NFM) 2017, 5 pp. 50-62. ISSN 2515-1762. doi:10.29007/k317
![[img]](http://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
WRAP-More-Automated-Formal-Methods-Chakrapani-Rao-2018.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (1041Kb) |
|
PDF
WRAP-more-automated-formal-methods-Rao-2017.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (751Kb) |
Official URL: https://doi.org/10.29007/k317
Abstract
Formal Methods (FM) have been around for decades and many have been improving all the time. Automated formal methods techniques and tools have been making a mark in real world applications across industry domains. So, why and where do we need more automation? How much automation is required? This paper attempts to cover an assessment on where I believe we are, based on my own not-so-limited but diverse enough experience in automated industry-strength formal methods and model based systems engineering area, where we might need to get to and possibly how. Key characteristics of future automation needed for success are outlined. No attempt is made to be exhaustive as the world of FMs is vast and the collective work of FM expert researchers, developers and users is needed for exploration – “to boldly meet future challenges which no FM has ever met before”!
| Item Type: | Conference Item (Paper) | ||||||
|---|---|---|---|---|---|---|---|
| Subjects: | H Social Sciences > HD Industries. Land use. Labor Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
| Divisions: | Faculty of Science > WMG (Formerly the Warwick Manufacturing Group) | ||||||
| Library of Congress Subject Headings (LCSH): | Automobile industry and trade -- Automation, Aerospace industries -- Automation, Formal methods (Computer science), Systems engineering | ||||||
| Series Name: | Kalpa Publications in Computing | ||||||
| Journal or Publication Title: | Proceedings of Automated Formal Methods (AFM) 2017, in association with 9th NASA Formal Methods Symposium (NFM) 2017 | ||||||
| Publisher: | ACM; EasyChair | ||||||
| ISSN: | 2515-1762 | ||||||
| Book Title: | Automated Formal Methods | ||||||
| Editor: | Shankar, Natarajan and Dutertre, Bruno | ||||||
| Official Date: | 16 April 2018 | ||||||
| Dates: |
|
||||||
| Volume: | 5 | ||||||
| Page Range: | pp. 50-62 | ||||||
| DOI: | 10.29007/k317 | ||||||
| Status: | Peer Reviewed | ||||||
| Publication Status: | Published | ||||||
| Access rights to Published version: | Open Access | ||||||
| Conference Paper Type: | Paper | ||||||
| Title of Event: | Automated Formal Methods Workshop 2017, in association with 9th NASA Formal Methods Symposium (NFM) 2017 | ||||||
| Type of Event: | Workshop | ||||||
| Location of Event: | Moffett Field, California, USA | ||||||
| Date(s) of Event: | 19-20 May 2017 | ||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
