Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “...Formal verification, including theorem proving, model checking, and static analysis -- Advances...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”