More Automated Formal Methods?! If so, why, where & how?

13 pages•Published: April 16, 2018

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”!

Keyphrases: automated model verification and validation, formal methods, model based systems engineering

In: Natarajan Shankar and Bruno Dutertre (editors). Automated Formal Methods, vol 5, pages 50-62.

Links:	https://easychair.org/publications/paper/px3h
	https://doi.org/10.29007/k317

BibTeX entry

@inproceedings{AFM17:More_Automated_Formal_Methods?!,
  author    = {Arun Chakrapani Rao},
  title     = {More Automated Formal Methods?! If so, why, where & how?},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/px3h},
  doi       = {10.29007/k317},
  pages     = {50-62},
  year      = {2018}}

Download PDF Open PDF in browser