SMT Solving for Vesicle Traffic Systems in Cells

04/15/2018
by   Ashutosh Gupta, et al.
0

In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to exhibit several graph properties such as three connectivity. These properties are consequences of underlying biophysical constraints. A natural question for biologists is: what are the possible networks for various combinations of those properties? In this paper, we present novel SMT based encodings of the properties over vesicle traffic systems and a tool that searches for the networks that satisfies the properties using SMT solvers. In our experiments, we show that our tool can search for networks of sizes that are considered to be relevant by biologists.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/02/2019

CVC4-SymBreak: Derived SMT solver at SMT Competition 2019

We present CVC4-SymBreak, a derived SMT solver based on CVC4, and a non-...
research
10/10/2018

Synthesis for Vesicle Traffic Systems

Vesicle Traffic Systems (VTSs) are the material transport mechanisms amo...
research
07/02/2020

Smt-Switch: a solver-agnostic C++ API for SMT Solving

This extended abstract describes work in progress on Smt-Switch, an open...
research
04/13/2020

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

Formal methods use SMT solvers extensively for deciding formula satisfia...
research
02/04/2017

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports im...
research
09/17/2016

Solving the Wastewater Treatment Plant Problem with SMT

In this paper we introduce the Wastewater Treatment Plant Problem, a rea...
research
05/23/2019

Set Constraints, Pattern Match Analysis, and SMT

Set constraints provide a highly general way to formulate program analys...

Please sign up or login with your details

Forgot password? Click here to reset