Login / Signup

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.

Dong WangPei-Hsin HoJiang LongJames H. KukulaYunshan ZhuHi-Keung Tony MaRobert F. Damiano
Published in: DAC (2001)
Keyphrases
  • formal methods
  • formal analysis
  • mathematical model
  • website
  • evolutionary algorithm
  • model checking
  • formal model
  • simulation environment
  • formal verification