Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ENTCS
2010

favoriteEmaildiscussreport

111views more ENTCS 2010»

Modular Verification of Interactive Systems with an Application to Biology

13 years 2 months ago

Modular Verification of Interactive Systems with an Application to Biology

Download www.di.unipi.it

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.

Peter Drábik, Andrea Maggiolo-Schettini, Pa

Real-time Traffic

Automata-based Formalism | ENTCS 2010 | Lac Operon Regulation | Modular Way | Software Engineering |

claim paper

Related Content

» Modularization of biochemical networks based on classification of Petri net tinvariants

» Automatic Verification of Parametric Specifications with Complex Topologies

» Modular verification of web services using efficient symbolic encoding and summarization

» A system for specification and verification of interactive datadriven web applications

» Modular System Verification by Inference Testing and Reachability Analysis

» Methods for Random Modularization of Biological Networks

» Deterministic graphtheoretic algorithm for detecting modules in biological interaction net...

» Aiding Modular Design and Verification of SafetyCritical TimeTriggered Systems by Use of E...

» Towards Modularized Verification of Distributed TimeTriggered Systems

Post Info
More Details (n/a)

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	ENTCS
Authors	Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Comments (0)