Monitoring compliance of programs and models with formal specification of tasks

Pustovarov V.І.

The proofing mechanisms of object-oriented programming are proposed for tasks with mutual transformations of program codes and formal specifications. Those mechanisms were used for justification to analytical data type which maybe built into programming languages and systems. Proposed approach allows automated proofing transformations of program codes and specifications in programming and simulation system for tasks of formal verification and code synthesis.

Full text (pdf)