BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment
No abstract available.
Related papers
- Using C language extensions for developing embedded software: a case study OOPSLA 2015
- PIROL: a case study for multidimensional separation of concerns in software engineering environments OOPSLA 2000
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- In-situ workflow auto-tuning through combining component models PPoPP 2021
- Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking CAV 2025
- Rehearsal: a configuration verification tool for puppet PLDI 2016
- Automated variability injection for graphical modelling languages GPCE 2020
- Automating the synthesis of recommender systems for modelling languages SLE 2021