title: Formal methods for verification of clinical practice guidelines.
abstract: Formal methods play an important role in the development of software and hardware systems. In recent years, there has been a growing interest to apply these methods in the area of medical guidelines and protocols. This paper summarises these efforts, compares the approaches and discusses the role of formal methods in this area.
authors.affiliation: Radboud University Nijmegen, The Netherlands. arjenh@cs.ru.nl
authors.forename: Arjen
authors.initials: A
authors.lastname: Hommersom
authors.forename: Perry
authors.initials: P
authors.lastname: Groot
authors.forename: Michael
authors.initials: M
authors.lastname: Balser
authors.forename: Peter
authors.initials: P
authors.lastname: Lucas
mesh_terms: D002985:Clinical Protocols / Q000592:standards*; D005069:Evaluation Studies as Topic; D008962:Models, Theoretical; D017410:Practice Guidelines as Topic / Q000592:standards*