Model-checking the Preservation of Temporal Properties upon Feature Integration | Zendy

Dimitar P. Guelev | Zendy; Mark Ryan | Zendy; PierreYves Schobbens | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Model-checking the Preservation of Temporal Properties upon Feature Integration

Author(s) -

Dimitar P. Guelev,

Mark Ryan,

PierreYves Schobbens

Publication year - 2005

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.2005.04.019

Subject(s) - model checking , computer science , feature (linguistics) , abstraction model checking , theoretical computer science , programming language , linguistics , philosophy

Model checking is a popular technique for proving properties of systems. When systems are updated with new features, however, one would like to avoid having to re-run the model checking procedure on properties which were true before the update, in order to check that they are still true afterwards. This paper proposes a technique which, in certain circumstances, enables such additional checks to be avoided

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