The Coq-model of Atomic Entities in Formal Theories
Oleksandr Berezovskyi · Application Mathematics and Informatics · 2023
Atomic entities are significant basic elements of the logical modelling of subject areas of software systems. Since modern software systems require guarantees of the correctness of their functioning, formal logical models become a necessary tool for ensuring software dependability. The article proposes a conceptual basis for modelling atomic entities, de- veloped for using it for formal verification with The Coq Proof Assistant.