Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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] 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)
[img] 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

Request Changes to record.

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:
DateEvent
16 April 2018Published
28 April 2017Accepted
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:
  • Publisher
  • Related item in WRAP
  • Publisher

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us