Deductive Verification of Real-Time Systems Using STeP

  • Authors:
  • Nikolaj Bjørner;Zohar Manna;Henny Sipma;Tomás E. Uribe

  • Affiliations:
  • -;-;-;-

  • Venue:
  • ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract