Matthias Mutz

Learn More
Reasoning about properties of hardware behuviour needs u formal method. The more this process can be nu'chan-ized the more practicable is it. In this paper, basic concepts qf u special verification system for the formal ver~ji-cation of digital circuits are presented. Higher-order Logic serves as the formalist to define the underlying theory. 1:(More)
  • 1