Login / Signup

DSVerifier: A Bounded Model Checking Tool for Digital Systems.

Hussama IsmailIury BessaLucas C. CordeiroEddie Batista de Lima FilhoJoao Edgar Chaves Filho
Published in: SPIN (2015)
Keyphrases
  • bounded model checking
  • information retrieval
  • management system
  • metadata
  • computer systems
  • software tools
  • formal verification