Verification of parallel programs using evolving algebras (CROSBI ID 463896)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Urbiha, Igor
engleski
Verification of parallel programs using evolving algebras
This article presents an original method of verification of parallel programs using the notions of evolving algebra (EA) and run. The main idea is to give a method based around EA framework with which it will be easy to prove statements regarding states which programs and their environments undergo during execution.
concurrency; parallel programs; verification; specification; evolving algebra
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
389-393-x.
1997.
objavljeno
Podaci o matičnoj publikaciji
Kalpic, Damir ; Hljuz Dobric, Vesna ;
Sveučilišni računski centar Sveučilišta u Zagrebu (Srce)
Podaci o skupu
The 19th International Conference on Information Technology Interfaces (ITI"97)
predavanje
17.06.1997-20.06.1997
Pula, Hrvatska