English Runtime predictive analysis Cited by user Citation bot on 25 May 2021 Runtime predictive analysis (or predictive analysis) is a runtime verification technique in computer science for detecting property violations in program executions…
German Maschinengestütztes Beweisen Cited by user Mabschaaf on 02 Feb 2015 Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von…