Title: Modeling monotone nonlinear disease progression and checking the correctness of the associated software
Subjects: Disease Progression, Chronic diseases, Mathematical models, Bayesian statistical decision theory, Markov processes, Monte Carlo method