Skip to main content
SpringerLink
Log in

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems

  • Conference paper
  • First Online:
Formal Methods (FM 2021)

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

Included in the following conference series:

Abstract

Over the last two decades, we at BTC Embedded Systems have collected experience with various applications of formal methods in our products together with our industrial partners and customers. In this paper, we give an overview of these fields of applications.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    More details can be found at https://www.btc-es.de/en/company/research.html.

  2. 2.

    Some selected success stories of our customers can be found at https://www.btc-es.de/en/company/references.html.

References

  1. Bienmüller, T., Damm, W., Wittke, H.: The Statemate verification environment. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 561–567. Springer, Heidelberg (2000). https://doi.org/10.1007/10722167_45

    Chapter  MATH  Google Scholar 

  2. Mentel, L., Scheibler, K., Winterer, F., Becker, B., Teige, T.: Benchmarking SMT solvers on automotive code. In: MBMV (2021)

    Google Scholar 

  3. Scheibler, K., Eggers, A., Teige, T., Walz, M., Bienmüller, T., Brockmeyer, U.: Solving constraint systems from traffic scenarios for the validation of autonomous driving. In: SC\(^2\) (2019)

    Google Scholar 

  4. Scheibler, K., et al.: Accurate ICP-based floating-point reasoning. In: FMCAD (2016)

    Google Scholar 

  5. Schrammel, P., Kroening, D., Brain, M., Martins, R., Teige, T., Bienmüller, T.: Incremental bounded model checking for embedded software. Formal Aspects Comput. 29(5), 911–931 (2017). https://doi.org/10.1007/s00165-017-0419-1

    Article  MathSciNet  MATH  Google Scholar 

  6. Teige, T.: The power of focus: how to optimize a model checker for embedded software (2020). https://www.btc-es.de/en/blog/the-power-of-focus-how-to-optimize-a-model-checker-for-embedded-software.html

  7. Teige, T., Meincke, W., Brockmeyer, U.: Applying automated formal CCC checks for complex systems development. In: Embedded World Conference (2021)

    Google Scholar 

  8. Westhofen, L., Berger, P., Katoen, J.P.: Benchmarking software model checkers on automotive code. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 133–150. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55754-6_8

    Chapter  Google Scholar 

Download references

Acknowledgments

We would like to thank all our colleagues for their various contributions to the tools which we briefly discussed in this paper.

Author information

Authors and Affiliations

  1. BTC Embedded Systems AG, Oldenburg, Germany

    Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans J. Holberg & Tom Bienmüller

Authors
  1. Tino Teige
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Eggers
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Karsten Scheibler
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matthias Stasch
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Udo Brockmeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Hans J. Holberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Tom Bienmüller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tino Teige .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Marieke Huisman

  2. NASA Ames Research Center, Moffett Field, CA, USA

    Corina Păsăreanu

  3. Institute of Software, Chinese Academy of Sciences, Beijing, China

    Naijun Zhan

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Teige, T. et al. (2021). Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. In: Huisman, M., Păsăreanu, C., Zhan, N. (eds) Formal Methods. FM 2021. Lecture Notes in Computer Science(), vol 13047. Springer, Cham. https://doi.org/10.1007/978-3-030-90870-6_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-90870-6_40

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-90869-0

  • Online ISBN: 978-3-030-90870-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation