TY - GEN
T1 - Runtime Verification and Refutation for Biological Systems
AU - Hillel, K.
N1 - Place of conference:France
PY - 2013
Y1 - 2013
N2 - Advanced computational models are transforming the way research is done in biology, by providing quantitative means to assess the validity of theories and hypotheses and allowing predictive capabilities, raising an urgent need to be able to systematically and efficiently analyze runtime properties of models. In this tutorial I describe key biological applications, modeling formalisms, property specification languages, and computational tools utilized in this domain, survey the techniques and research from the formal verification, machine learning and simulation communities that are currently being used, and outline opportunities for the runtime verification community to contribute new scalable methods.
AB - Advanced computational models are transforming the way research is done in biology, by providing quantitative means to assess the validity of theories and hypotheses and allowing predictive capabilities, raising an urgent need to be able to systematically and efficiently analyze runtime properties of models. In this tutorial I describe key biological applications, modeling formalisms, property specification languages, and computational tools utilized in this domain, survey the techniques and research from the formal verification, machine learning and simulation communities that are currently being used, and outline opportunities for the runtime verification community to contribute new scalable methods.
UR - https://scholar.google.co.il/scholar?q=Runtime+Verification+and+Refutation+for+Biological+Systems&btnG=&hl=en&as_sdt=0%2C5
M3 - Conference contribution
BT - 4th International Conference, RV
A2 - Legay, Axel
A2 - Bensalem, Saddek
PB - Springer Berlin Heidelberg
ER -