MPG.eBooks - Search Results - "formal verification"

Cover Image

1

Computer Safety, Reliability, and Security : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

“... are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk...”

Cover Image

2

Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...-generative Plant -- Assertion Checking Environment (ACE) for Formal Verification of C Programs -- Safety...”