Automatic detection of contradictions in requirements specifications. - Alexander Elenga Gärtner (2024)

Automated requirement contradiction detection through formal logic and LLMs. - Alexander Elenga Gärtner; Dietmar Göhlich (Autom. Softw. Eng., 2024)