Formal Verification of CNL Health Recommendations.

Fahrurrozi Rahman Juliana Küster Filipe Bowles

Published in: IFM (2017)

Keyphrases

formal verification
model checking
model checker
recommender systems
automated verification
bounded model checking
health care
user preferences
symbolic model checking
program slicing
functional verification
temporal logic
electronic health records
collaborative filtering