XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems

• Authors:

• Duncan Clarke;Hanêne Ben-Abdallah;Insup Lee;Hong-liang Xie;Oleg Sokolsky

• Affiliations:

• -;-;-;-;-

• Venue:
• CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
• Year:
• 1996