Telecharger Cours

Timing Analysis of Combinational Circuits in Intuitionistic ...

Abstract. Classical logic has so far been the logic of choice in formal hardware verification. This paper proposes the application of intuitionistic logic ...



Download