Skip to main content
Springer Nature Link
Log in

SpecifyThis – Bridging Gaps Between Program Specification Paradigms

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

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

Included in the following conference series:

  • 762 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 2022.

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

References

  1. Amilon, J., Lidström, C., Gurov, D.: Deductive Verification Based Abstraction for Software Model Checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 7–28. Springer, Cham (2022)

    Google Scholar 

  2. Cok, D., Leavens, G.: Abstraction in deductive verification: Model fields and model methods. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 29–44. Springer, Cham (2022)

    Google Scholar 

  3. Ernst, G., Knapp, A., Murray, T.: A Hoare logic with regular behavioral specifications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 45–64. Springer, Cham (2022)

    Google Scholar 

  4. Havelund, K.: Specification-based Monitoring in C++. Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 65–87. Springer, Cham (2022)

    Google Scholar 

  5. Huisman, M., Monti, R., Ulbrich, M., Weigl, A.: The verifyThis collaborative long term challenge. In: Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Ulbrich, M. (eds.) Deductive Software Verification: Future Perspectives. LNCS, vol. 12345, pp. 246–260. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-64354-6_10

    Chapter  Google Scholar 

  6. Konnov, I., Kuppe, M., Merz, S.: Specification and verification with the TLA\(^+\) trifecta: TLC, Apalache, and TLAPS. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 88–105. Springer, Cham (2022)

    Google Scholar 

  7. Lidström, C., Gurov, D.: An abstract contract theory for programs with procedures. In: FASE 2021. LNCS, vol. 12649, pp. 152–171. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-71500-7_8

    Chapter  Google Scholar 

  8. Pace, G., Ahrendt, W.: Selective Presumed Benevolence in Multi-Party System Verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 106–123. Springer, Cham (2022)

    Google Scholar 

  9. Santen, T.: On the pragmatics of moving from system models to program contracts. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 124–138. Springer, Cham (2022)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chalmers University of Technology, Gothenburg, SE, Sweden

    Wolfgang Ahrendt

  2. University of Twente, Enschede, NL, The Netherlands

    Marieke Huisman

  3. Karlsruhe Institute of Technology, Karlsruhe, DE, Germany

    Mattias Ulbrich

  4. University of Münster, Münster, DE, Germany

    Paula Herber

Authors
  1. Wolfgang Ahrendt
    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 Wolfgang Ahrendt .

Editor information

Editors and Affiliations

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

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2022 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

Ahrendt, W., Herber, P., Huisman, M., Ulbrich, M. (2022). SpecifyThis – Bridging Gaps Between Program Specification Paradigms. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ISoLA 2022. Lecture Notes in Computer Science, vol 13701. Springer, Cham. https://doi.org/10.1007/978-3-031-19849-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-19849-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-19848-9

  • Online ISBN: 978-3-031-19849-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics