Temporal verification of reactive systems: response

• Authors:

• Zohar Manna;Amir Pnueli

• Affiliations:

• Stanford University, Stanford, CA;Weizmann Institute of Science, Israel and New York University, NY

• Venue:
• Time for verification
• Year:
• 2010