Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems

• Authors:

• Satoshi Yamane;Kazuhiro Nakamura

• Affiliations:

• -;-

• Venue:
• TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
• Year:
• 1997