Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

Mashkoor, Atif; Leuschel, Michael; Egyed, Alexander

by Atif Mashkoor, Michael Leuschel, Alexander Egyed

Reference:

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification (Atif Mashkoor, Michael Leuschel, Alexander Egyed), In CoRR, volume abs/2102.06037, 2021.

Bibtex Entry:

@Article{DBLP:journals/corr/abs-2102-06037,
  author        = {Atif Mashkoor and Michael Leuschel and Alexander Egyed},
  journal       = {CoRR},
  title         = {Validation Obligations: {A} Novel Approach to Check Compliance between Requirements and their Formal Specification},
  year          = {2021},
  volume        = {abs/2102.06037},
  archiveprefix = {arXiv},
  bibsource     = {dblp computer science bibliography, https://dblp.org},
  biburl        = {https://dblp.org/rec/journals/corr/abs-2102-06037.bib},
  eprint        = {2102.06037},
  file          = {:Journals/CORR 2021 - Validation Obligations A Novel Approach to Check Compliance between Requirements and their Formal Specification/Validation Obligations - A Novel Aproach to Check Compliance-preprint.pdf:PDF},
  keywords      = {FWF I4744, LIT Secure and Correct Systems Lab},
  timestamp     = {Thu, 18 Feb 2021 15:26:00 +0100},
  url           = {https://arxiv.org/abs/2102.06037},
}