Login / Signup

On the Effective Deployment of Functional Formal Verification.

Yael Abarbanel-VinovNeta Aizenbud-ReshefIlan BeerCindy EisnerDaniel GeistTamir HeymanIris ReuveniEran RippelIrit ShitsevalovYaron WolfsthalTali Yatzkar-Haham
Published in: Formal Methods Syst. Des. (2001)
Keyphrases
  • formal verification
  • model checking
  • symbolic model checking
  • neural network
  • functional verification
  • real time
  • data sets
  • information retrieval
  • domain specific
  • model checker
  • automated verification