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

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Net Unfoldings -- State Space Reduction by Proving Confluence -- Fair Simulation Minimization...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
“... and compositional verification, construction techniques, analysis and verification via theorem proving, process...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
“..., logical techniques, verification support, specification and analysis, and theorem proving, model checking...”