very basic introduction to formal verification

Name: very basic introduction to formal verification
Uploaded: Jul 22, 2019
Description: very basic introduction to formal verification