Closed jaisnan closed 3 months ago
Adds a section in the book assuming no knowledge from the reader about Kani or the verification effort.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Adds a section in the book assuming no knowledge from the reader about Kani or the verification effort.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.