XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
Abstract elided by the publisher.
Related papers
- The Real-Time Graphical Interval Logic Toolset CAV 1996
- On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience SLE 2015
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- Real-Time FRP ICFP 2001
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems CAV 1993
- Towards automatic resource bound analysis for OCaml POPL 2017
- Enabling Blended Modelling of Timing and Variability in EAST-ADL SLE 2023
- Resource-guided program synthesis PLDI 2019