2025-02-22T12:19:49-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-187%22&qt=morelikethis&rows=5
2025-02-22T12:19:49-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-187%22&qt=morelikethis&rows=5
2025-02-22T12:19:49-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T12:19:49-05:00 DEBUG: Deserialized SOLR response
Correctness Property Proof for the Banking System for Money Transfer Payments

Correctness Property Proof for the Banking System for Money Transfer Payments

The method for properties proof for parallel programs running multiple-instance interleaving with shared memory was applied in order to prove the correctness property of the banking system for remittances payments. The task was stated, transitional system was built for the model with simplified stat...

Full description

Saved in:
Bibliographic Details
Main Authors: Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2018
Subjects:
software correctness
safety property proof
concurrent program
interleaving
invariant
IPCL
composition-nominative languages
formal verification
UDC 004.415.52
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/187
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/187

Similar Items