Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Mihai Herda, Stefan Kobischke und Mattias Ulbrich
In:8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Verleger:Springer
Reihe:LNCS
Band:11245
Teil:II: A Broader View on Verification: From Static to Runtime and Back
Jahr:2018
Seiten: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}
}