Panel Discussion on Formal Methods in Commercial Software Development Tools | SpringerLink
Skip to main content
Springer Nature Link
Log in

Panel Discussion on Formal Methods in Commercial Software Development Tools

  • Conference paper
Formal Methods for Industrial Critical Systems (FMICS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5596))

  • 508 Accesses

Abstract

Research on formal methods for software verification currently has decades of history within academia, and it is a central topic in software engineering. Nevertheless, usage of formal methods in companies is still at its embryonic stage. The reasons of this discrepancy have to be explored and solutions have to be found in order to increase adoption of formalized verification within industry.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. DSI - Università di Firenze, Italy

    Alessandro Fantechi & Alessio Ferrari

Authors
  1. Alessandro Fantechi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessio Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Rockwell Collins, 7805 Telegraph Rd. 100, 55438, Bloomington, MN, USA

    Darren Cofer

  2. Dipartimento di Sistemi e Informatica, Università di Firenze, Via S. Marta 3, 50139, Firenze, Italy

    Alessandro Fantechi

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fantechi, A., Ferrari, A. (2009). Panel Discussion on Formal Methods in Commercial Software Development Tools. In: Cofer, D., Fantechi, A. (eds) Formal Methods for Industrial Critical Systems. FMICS 2008. Lecture Notes in Computer Science, vol 5596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03240-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03240-0_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03239-4

  • Online ISBN: 978-3-642-03240-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation