Abstraction and Modular Verification of Infinite-State Reactive Systems

• Authors:

• Zohar Manna;Michael Colón;Bernd Finkbeiner;Henny Sipma;Tomás E. Uribe

• Affiliations:

• -;-;-;-;-

• Venue:
• RTSE '97 Proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering
• Year:
• 1997