Login / Signup
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.
Tobias Runge
Thomas Thüm
Loek Cleophas
Ina Schaefer
Bruce W. Watson
Published in:
FM Workshops (2) (2019)
Keyphrases
</>
statistical analysis
post hoc
theoretical framework
real time
learning algorithm
user interaction
user profiles
experimental study
qualitative and quantitative
construction process
quantitative data