Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs

• Authors:

• Dirk Beyer

• Affiliations:

• -

• Venue:
• CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
• Year:
• 2001