Thomas Reielts

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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 veri cation 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 Style(More)
  • 1