PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS (TLA+) ArticleTimakov A.A., Ryzhov I.G.Programming and Computer Software. Том 51. 2025. С. 283-296
