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

Szczegóły
Opis

Tytuł:: Książka = Book ; KS/4/2012/P25
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
Autorzy:: Todorova, Magdalina
Data publikacji:: 2012
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Źródło:: KS-2012-04-P25
Język:: angielski
Prawa:: Creative Commons Attribution BY 4.0 license
Licencja Creative Commons Uznanie autorstwa 4.0
Linki:: https://rcin.org.pl/dlibra/publication/edition/205954/content Link otwiera się w nowym oknie
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych
: Książka

Przejdź do źródła

[5], 309-320 pages ; 21 cm

[5], 309-320 stron ; 21 cm

Bibliografia s. 319-320

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.

Bibliography p. 319-320

Informacja

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