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

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Trust Models -- Locality-Based Security Policies -- A Theorem-Proving Approach to Verification of Fair...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Machines: A Stateful Approach to Proving Security -- Automatic Approximation for the Verification...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Development...”