Login / Signup

FlexBench: Reuse of Verification IP to Increase Productivity.

Bernd StöhrMichael SimmonsJoachim Geishauser
Published in: DATE (2002)
Keyphrases
  • software development
  • return on investment
  • model checking
  • face verification
  • formal analysis
  • formal verification