Thomas Reielts

Learn More
This pape'r presents from the users point of view the automatic verification. of nontrivial liveness properties for a reactive system implemented using VHDL. The aim is to make clear the simplicity, power and practical relevance of tools developed within the ESPRIT project FORMAT. For the specialist this paper provides a run through Assumption Commitment(More)
This paper presents from the users point of view the automatic verication of nontrivial liveness properties for a reactive system implemented using VHDL. The aim is to make clear the simplicity, power and practical relevance o f t o ols developed within the ESPRIT project FORMAT. For the specialist this paper provides a run through Assumption Commitment(More)
  • 1