Sciweavers

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

22

ENTCS
2010

favoriteEmaildiscussreport

111views more ENTCS 2010»

Modular Verification of Interactive Systems with an Application to Biology

13 years 8 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)