Login / Signup

An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.

Martín López NoresRebeca P. Díaz RedondoJosé Juan Pazos-AriasJorge García Duque
Published in: APSEC (2004)
Keyphrases
  • formal verification
  • model checking
  • learning objects
  • computationally efficient
  • bounded model checking
  • metadata
  • cost effective
  • neural network
  • high quality
  • test set
  • highly efficient
  • symbolic model checking