Login / Signup

HSIS: A BDD-Based Environment for Formal Verification.

Adnan AzizFelice BalarinSzu-Tsung ChengRamin HojatiTimothy KamSriram C. KrishnanRajeev K. RanjanThomas R. ShipleVigyan SinghalSerdar TasiranHuey-Yih WangRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
Published in: DAC (1994)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • mobile robot
  • automated verification
  • artificial intelligence
  • fuzzy sets
  • symbolic model checking
  • bounded model checking