Telecharger Cours

Balancing the Load

By a higher level of abstraction in the Hoare logic compared to the small-step semantics, we gain efficiency for the verification of individual C0 programs.



Download