Subtitle:

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

Publisher:

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

Place of publishing:

Warszawa

Description:

[5], 309-320 pages ; 21 cm ; Bibliography p. 319-320

Type of object:

Book/Chapter

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

Detailed Resource Type:

Book

Resource Identifier:

oai:rcin.org.pl:205954

Source:

KS-2012-04-P25

Language:

eng

Language of abstract:

eng

Rights:

Creative Commons Attribution BY 4.0 license

Terms of use:

Copyright-protected material. [CC BY 4.0] May be used within the scope specified in Creative Commons Attribution BY 4.0 license, full text available at: ; -

Digitizing institution:

Systems Research Institute of the Polish Academy of Sciences

Original in:

Library of Systems Research Institute PAS

Projects co-financed by:

Operational Program Digital Poland, 2014-2020, Measure 2.3: Digital accessibility and usefulness of public sector information; funds from the European Regional Development Fund and national co-financing from the state budget.

Access:

Open