Login / Signup

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.

Damien BergaminiNicolas DescoubesChristophe JoubertRadu Mateescu
Published in: TACAS (2005)
Keyphrases
  • user friendly
  • database
  • genetic algorithm
  • programming language
  • software engineering