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

Duncan Clarke, Hanne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky

Browse the full CAV paper archive.