Solidity Verification Course. Lecture 1
Автор: Exactpro
Загружено: 2022-04-06
Просмотров: 492
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

Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: