Sciweavers

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

7

ISOLA
2004
Springer

favoriteEmaildiscussreport

89views Formal Methods» more ISOLA 2004»

On model checking multiple hybrid views

13 years 10 months ago

On model checking multiple hybrid views

Download www.doc.ic.ac.uk

We study consistency, satisﬁability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and atomic propositions. A PTIME algorithm for deciding whether a set of views has a common reﬁnement (consistency) is given. We prove that deciding whether a common reﬁnement satisﬁes a formula of the hybrid mu-calculus (satisﬁability), and its dual (validity), are EXPTIME-complete. We determine two generically generated “summary” views that constitute informative and consistent eﬁnements and abstractions of a set of views (respectively).

Michael Huth, Altaf Hussain

Real-time Traffic

Common Reﬁnement | ISOLA 2004 | Labelled Transitions | Validity Problems |

claim paper

Related Content

» On the Application of WFNets for Checking Hybrid IDEF0IDEF3 Business Process Models

» A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Vi...

» Detecting Inconsistencies in MultiView Models with Variability

» Expressing the Relationships Between Multiple Views in Requirements Specification

» Automated Model Acquisition from Range Images with View Planning

» Multiobjective Model Checking of Markov Decision Processes

» Building a Virtual Hierarchy for Managing Trust Relationships in a Hybrid Architecture

» Modeling and Rendering Architecture from Photographs A Hybrid Geometry and ImageBased Appr...

» On the connections between PCTL and dynamic programming

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	ISOLA
Authors	Michael Huth, Altaf Hussain

Comments (0)