From post-conditions to post-region invariants: deductive verification of hybrid objectsDate: May 20, 2021This talk about method contracts for distributed hybrid systems is available at Youtube.Share on Twitter Facebook LinkedIn Previous Next
