Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Mihai Herda, Stefan Kobischke, and Mattias Ulbrich
In:8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Publisher:Springer
Series:LNCS
Volume:11245
Part:II: A Broader View on Verification: From Static to Runtime and Back
Year:2018
Pages:53-63
URL:https://doi.org/10.1007/978-3-030-03421-4_4
DOI:10.1007/978-3-030-03421-4_4
Links:

BibTeX

@InProceedings{BeckertHerdaEtAl18,
  author    = {Bernhard Beckert and
               Mihai Herda and
               Stefan Kobischke and
               Mattias Ulbrich},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Towards a Notion of Coverage for Incomplete Program-Correctness Proofs},
  booktitle = {8th International Symposium on Leveraging Applications of Formal Methods,
               Verification and Validation ({ISoLA} 2018)},
  part      = {II: A Broader View on Verification: From Static to Runtime and Back},
  series    = {LNCS},
  volume    = {11245},
  pages     = {53--63},
  publisher = {Springer},
  year      = {2018},
  month     = oct,
  url       = {https://doi.org/10.1007/978-3-030-03421-4_4},
  doi       = {10.1007/978-3-030-03421-4\_4},
  date      = {November 5--9},
  place     = {Limassol, Cyprus}
}