Скачать с ютуб Solidity Verification Course. Lecture 1 в хорошем качестве

Solidity Verification Course. Lecture 1

On 6 April, we held Lecture 1 of the Solidity Verification mini-course. The course is open to everyone who is interested in the topic. It is free of charge and requires no previous knowledge on the subject. Lecture 1. Formal Verification of Software Formal proving, axioms and rules of inference Hoare logic, preconditions, postconditions Automated proving with Microsoft Z3 theorem prover Homework: theory test, statements to formalise, Z3 basics. The speaker's slides are available at: https://speakerdeck.com/exactpro/form... See the full course agenda and schedule on our website https://exactpro.com/events/external/... -- Exactpro is a leading independent provider of software testing services for mission-critical technology that underpins global financial markets. The firm is experienced with trading, clearing and settlement platforms, market surveillance systems, market data systems, collateral and risk management systems, and post trade infrastructures. Exactpro provides functional and non-functional testing services to exchanges, clearing houses, securities depositories, trade repositories, digital exchanges, central banks, brokers, technology vendors and investment banks worldwide. Headquartered in the UK, Exactpro employs over 700 members of staff. To learn more about Exactpro, visit our website https://exactpro.com/ EXTENT Conference website: https://extent.exactpro.com/ Follow us on LinkedIn   / exactpro-systems-llc   Twitter   / exactpro   Facebook   / exactpro   Instagram   / exactpro   Subscribe to Exactpro YouTube channel    / exactprosystems   #SolidityVerification #exactpro #SoftwareTesting #testing