Inscriere cercetatori

Daca aveti cont Ad Astra si de Facebook, intrati pe pagina de profil pentru a da dreptul sa va logati pe site doar cu acest buton.

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa


A Simulation Preorder for Abstraction of Reactive Systems

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în volumul unei conferinţe

Autori: F.L. Tiplea, A. Tiplea

Editorial: Springer-Verlag, Proceedings of 3rd International Workshop on "Verification, Model Checking and Abstract Interpretation", Lecture Notes in Computer SCience, vol. 2294, p.272-288, 2002.


Want create site? Find Free WordPress Themes and plugins.

We present a simulation preorder for reactive systems modeled by fair Kripke structures whose transition relation is divided into two parts, internal and external. The first one models the internal behaviour of the system, while the second one is used to model the interaction with an environment. We show that our simulation preorder preserves a substantial subset of $forall CTL^*$. Then, we present an abstraction technique for systems composed by multiple modules and we show that each such system is smaller in the simulation preorder than its „augmented” components. We illustrate our abstraction methodology by applying it to Petri net reactive systems.

Did you find apk for android? You can find new Free Android Games and apps.

Cuvinte cheie: verification. model-checking, abstraction