Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Observable Consistency Checking of Requirements and Models

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Shmuel Tyszberowicz, and Bernhard Beckert
In:Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering
Publisher:SCITEPRESS
Series:ENASE 2026
Volume:1
Year:2026
Pages:50-63
DOI:10.5220/0014719400004015

Note

Best Paper Award

BibTeX

@inproceedings{Liu2026ObservableConsistency,
  author    = {Tianhai Liu and Shmuel Tyszberowicz and Bernhard Beckert},
  title     = {Observable Consistency Checking of Requirements and Models},
  booktitle = {Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering},
  series    = {ENASE 2026},
  volume    = {1},
  pages     = {50--63},
  year      = {2026},
  isbn      = {978-989-758-828-0},
  issn      = {2184-4895},
  publisher = {{SCITEPRESS}},
  doi       = {10.5220/0014719400004015},
  note      = {Best Paper Award}
}