Niels Maretti

Learn More
This paper presents and compares three techniques for mechanized ver-iication of state-oriented design descriptions. The goal of this work is to gain insight into quantitative aspects of diierent modular veriication techniques. One of the three veriication techniques presented here is a traditional forward generation of a xed point characterizing the(More)
  • 1