Протестировал(@sqaunderhood). Testing a Formally Verified Compiler, David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel

Протестировал

1808 @sqaunderhood

Открыть

Фильтрованный контент о тестировании и качестве ПО.

Протестировал

@sqaunderhood 3 года назад

Testing a Formally Verified Compiler, David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel https://hal.science/hal-04096390

Testing a Formally Verified Compiler

We report on how we combine tests and formal proofs while developing extensions to the CompCert formally verified compiler.

hal.science