Modeling and prediction of gene interaction networks by using formal verification tools

הרקע לפרויקט:

רשת גנטית היא למעשה רשת בוליאנית ולכן יש דמיון מסוים למעגלים דיגיטליים. המוטיבציה היא להשתמש בכלים החזקים שיש בתחום ה vlsi על מנת ללמוד על הרשת הביולוגית.

מטרת הפרויקט:

ולידציה של התשתית לתרגום אוטומטי של רשת גנטית לשפת חומרה והרצת סימולציה על מקרי בוחן מורכבים. בחינה ואנליזה של תהליכים ביולוגיים בעזרת כלי האימות הפורמלי

תכולת הפרויקט:

בחלק הראשון המחקר יתמקד בוולידציה של התשתית שנבנתה אשר משמשת להמרה אוטומטית של רשת גנטית לשפת וורילוג. בחלק השני הפרויקט יעסוק במחקר של תהליכים גנטיים מורכבים בעזרת כלי האימות הפורמלי.

קורסי קדם:

מעגלים משולבים

מקורות:

Yordanov, Boyan, et al. "A method to identify and analyze biological programs through automated reasoning." NPJ systems biology and applications 2.1 (2016): 1-16.