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

1
Published 2015
Springer International Publishing
“... model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime...”
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
“... 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
“... to test may cover techniques from areas like theorem proving, model checking, constraint resolution...”
Cover Image
Read Now

4
Published 2022
Springer International Publishing
“... in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model...”