Login / Signup

A template for the construction of efficient checkers with full verification guarantees.

Leandro S. FreitasGabriel A. G. AndradeLuiz C. V. dos Santos
Published in: ICECS (2012)
Keyphrases
  • template matching
  • databases
  • relational databases
  • cost effective
  • computationally expensive
  • expert systems
  • evolutionary algorithm
  • input image
  • model checking