[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

KestenKleinPnueliRaanan99

  1. Yonit Kesten & Amit Klein & Amir Pnueli & Gil Raanan
  2. Bridging the E-Business Gap Through Formal Verification
  3. In [HincheyBowen99] pp118-137
  4. =EXPERIENCE VERIFICATION DESIGN SECURITY MODULE SAFETY SPIN SPL SPL++ PROMELA STeP C++
  5. How to formulate a C++ class in SPL++.
  6. Proves a composition rule for safety channel properties.
  7. Safety properties: once failed they are never again met.
  8. Top-level design took nearly 7 hours to verify using SPIN/Linux on 333MHz Pentium-II.
  9. Used manual verification for the detailed C++. Calls for deductive verification tools that can handle threaded C++.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]