Title:

New developments in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics. Volume II: applications * Model checker of object-oriented programs based on generalized nets

Subtitle:

Książka = Book ; KS/4/2012/P25

Creator:

Todorova, Magdalina

Publisher:

Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences

Place of publishing:

Warszawa

Date issued/created:

2012

Description:

[5], 309-320 stron ; 21 cm ; Bibliografia s. 319-320

Type of object:

Książka/Rozdział

Abstract:

The article presents the structure of model checker for verification of object-oriented programs and an algorithm to implement the model checker. The algorithm of model checker, as well as its input components (function, which is subject to verification and its specification) are defined by means of generalized nets. To simplify the description the algorithm of the model checker is presented in the case when the object-oriented program consists of one class and a main function that uses the class.

Relation:

Książka = Book

Resource type:

Tekst

Detailed Resource Type:

Książka

Source:

KS-2012-04-P25

Language:

eng

Language of abstract:

eng

Rights:

Licencja Creative Commons Uznanie autorstwa 4.0

Terms of use:

Zasób chroniony prawem autorskim. [CC BY 4.0 Międzynarodowe] Korzystanie dozwolone zgodnie z licencją Creative Commons Uznanie autorstwa 4.0, której pełne postanowienia dostępne są pod adresem: ; -

Digitizing institution:

Instytut Badań Systemowych Polskiej Akademii Nauk

Original in:

Biblioteka Instytutu Badań Systemowych PAN

Projects co-financed by:

Program Operacyjny Polska Cyfrowa, lata 2014-2020, Działanie 2.3 : Cyfrowa dostępność i użyteczność sektora publicznego; środki z Europejskiego Funduszu Rozwoju Regionalnego oraz współfinansowania krajowego z budżetu państwa

Access:

Otwarty