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

2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012) ◽

10.1109/icecs.2012.6463746 ◽

2012 ◽

Author(s):

Leandro S. Freitas ◽

Gabriel A. G. Andrade ◽

Luiz C. V. dos Santos

Download Full-text