Modular Verification of Interactive Systems with an Application to Biology | Zendy

Peter Drábik | Zendy; Andrea Maggiolo–Schettini | Zendy; Paolo Milazzo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modular Verification of Interactive Systems with an Application to Biology

Author(s) -

Peter Drábik,

Andrea Maggiolo–Schettini,

Paolo Milazzo

Publication year - 2010

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2010.12.006

Subject(s) - modular design , automaton , computer science , theoretical computer science , ctl* , formalism (music) , fragment (logic) , cellular automaton , systems biology , distributed computing , programming language , computational biology , algorithm , biology , genetics , art , musical , cytotoxic t cell , in vitro , visual arts

We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way. As an example we show the modelling of lac operon regulation and the modular verification of some properties

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research