Keyword:correctness

Publications
Life Cycle and Tools for Designing and Implementing a Typical Scenario for the Operation of an Automated System Valeriy P. Khranilov, Pavel V. Misevich, Elena N. Pankratova and Pavel S. Kulyasov EasyChair Preprint 15394
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint 415