Skip to main content
Springer Nature Link
Log in

SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (ISoLA 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 15221))

Included in the following conference series:

  • 186 Accesses

Abstract

We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://verifythis.github.io/.

References

  1. Amilon, J., Gurov, D.: Deductively verified program models for software model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 8–25. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_2

  2. Blohm, P., Fränzle, M., Herber, P., Kröger, P., Remke, A.: Towards probabilistic contracts for intelligent cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 26–47. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_3

  3. Cappelletti, L., Cavada, R., Cimatti, A., Keppel, M.: Towards the formal analysis of algorithmic requirements. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 48–65. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_4

  4. Colombo, C., Pace, G., Schneider, G.: Interest beyond violation: on points-of-interest in runtime verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 66–78. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_5

  5. Ernst, G., Ulbrich, M., Pfeifer, W.: Contract-LIB: a proposal for a common interchange format for software systems specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 79–105. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_6

  6. Farrell, M., Luckcuck, M., Monahan, R., Reynolds, C., Sheridan, O.: Adventures in FRET and specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 106–123. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_7

  7. Furia, C.A., Tiwari, A.: Challenges of multilingual program specification and analysis. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 124–143. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_8

  8. Granberry, G., Ahrendt, W., Johansson, M.: Towards integrating copiloting and formal methods: building blocks, architecture, and challenges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 144–158. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_9

  9. Kosmatov, N., Gall, P.L., Robles, V., Prevosto, V., Prevosto, V.: High-level program properties in Frama-C: definition, verification and deduction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 159–177. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_10

  10. Pascual, R., Beckert, B., Ulbrich, M., Kirsten, M., Pfeifer, W.: Formal foundations of consistency in model-driven development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 178–200. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_11

  11. Scaletta, M., Hähnle, R.: Context-aware contracts as a lingua franca for behavioral specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 201–219. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_12

  12. Seceleanu, C., Filipovikj, P., Mahmud, N., Rodriguez-Navas, G., Ljungkrantz, O., Lönn, H.: SIMPPAAL: a framework for statistical model checking of industrial simulink models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 220–246. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_13

  13. Soares, T., Chirica, I., Pereira, M.: Static and dynamic verification of OCAML programs: the gospel ecosystem. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, LNCS 15221, pp. 247–265. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-75380-0_14

Download references

Author information

Authors and Affiliations

  1. LMU Munich, Munich, Germany

    Gidon Ernst

  2. University of Münster, Münster, Germany

    Paula Herber

  3. University of Twente, Enschede, The Netherlands

    Marieke Huisman

  4. Karlsruhe Institute of Technology, Karlsruhe, Germany

    Mattias Ulbrich

Authors
  1. Gidon Ernst
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paula Herber
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marieke Huisman
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mattias Ulbrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gidon Ernst .

Editor information

Editors and Affiliations

  1. University of Limerick, CSIS and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ernst, G., Herber, P., Huisman, M., Ulbrich, M. (2025). SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. ISoLA 2024. Lecture Notes in Computer Science, vol 15221. Springer, Cham. https://doi.org/10.1007/978-3-031-75380-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-75380-0_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-75379-4

  • Online ISBN: 978-3-031-75380-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics