Język metadanych
Książka = Book ; KS/4/2012/P25
Twórca: Wydawca:Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences
Miejsce wydania: Data wydania/powstania: Opis:[5], 309-320 stron ; 21 cm ; Bibliografia s. 319-320
Typ obiektu: Abstrakt: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.
Czasopismo/Seria/cykl: Typ zasobu: Szczegółowy typ zasobu: Źródło: Język: Język streszczenia: Prawa:Licencja Creative Commons Uznanie autorstwa 4.0
Zasady wykorzystania: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: ; -
Digitalizacja:Instytut Badań Systemowych Polskiej Akademii Nauk
Lokalizacja oryginału:Biblioteka Instytutu Badań Systemowych PAN
Dofinansowane ze środków: Dostęp: