Verification and synthesis of counters based on symbolic techniques.

Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer

Browse the full DATE paper archive.