Items in this Collection

  • GPU Acceleration of FSM Input Execution: Artifacts 

    Yaneva-Cormack, Vanya
    In model-based development, software is implemented and verified based on a model of the required system. Finite State Machines (FSMs) are widely used as models in several domains but validating that they accurately represent ...