Crossmark

PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)

Published Online: 2025-07-15

Published Print: 2025-08

Authors

Timakov, A. A.

Ryzhov, I. G.
License Information

Text and Data Mining valid from 2025-07-15

Version of Record valid from 2025-07-15
More Information

Article History

Received: 27 May 2024

Revised: 3 December 2024

Accepted: 3 December 2024

First Online: 15 July 2025

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.

Document is current