Analyzing toys models of Arabidopsis and Drosphila using Z3 SMT-LIB

Martín Rodríguez Vega

doi:10.1117/12.2050071

22 May 2014 Analyzing toys models of Arabidopsis and Drosphila using Z3 SMT-LIB

Martín Rodríguez Vega

Proceedings Volume 9118, Independent Component Analyses, Compressive Sampling, Wavelets, Neural Net, Biosystems, and Nanoengineering XII; 911813 (2014) https://doi.org/10.1117/12.2050071
Event: SPIE Sensing Technology + Applications, 2014, Baltimore, MD, United States

Abstract

Toy models for the Arabidopsis Thaliana flower and the Drosophila are analyzed using Microsoft SMT-Solver Z3 with the SMT-LIB language. The models are formulated as Boolean networks which describe the metabolic cycles for Arabidopsis and Drosophila. The dynamic activation of the different bio macromolecules is described by the variables and laws of Boolean transition. Specifically, bitvectors and assertions, which describe the change of state of bitvectors from a sampling time to the next, are used. The dynamic feasibility problem of the biological network is translated to a Boolean satisfiability problem. The corresponding dynamic attractors are represented as a model of satisfiability. The Z3 software allows all required computations in a friendly and efficient manner. It is expected that the SMT-solvers, such as Z3, will become a routine tool in system biology and that they will provide bio-nanosystem design techniques. As a line for future research, the study of the models for Arabidopsis and Drosophila using different SMT-solvers such as CVC4, Mathsat and Yices, is proposed.

Citation Download Citation

Martín Rodríguez Vega "Analyzing toys models of Arabidopsis and Drosphila using Z3 SMT-LIB", Proc. SPIE 9118, Independent Component Analyses, Compressive Sampling, Wavelets, Neural Net, Biosystems, and Nanoengineering XII, 911813 (22 May 2014); https://doi.org/10.1117/12.2050071

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available