We present XVERSA, a set of tools for the specification and analysis of resource-bound real-time systems. XVERSA facilitates the use of the Algebra of Communicating Shared Resources (ACSR), a real-time process algebra with explicit notions of resources and priority. A text based user interface supports syntax checking, analysis based on equivalence checking, state space exploration, and algebraic rewriting. A graphical user interface allows systems to be described and analyzed using intuitive pictorial representations of ACSR language elements.
CITATION STYLE
Clarke, D., Ben-Abdallah, H., Lee, I., Xie, H. L., & Sokolsky, O. (1996). XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1102, pp. 402–405). Springer Verlag. https://doi.org/10.1007/3-540-61474-5_89
Mendeley helps you to discover research relevant for your work.