Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
Abstract elided by the publisher.
Related papers
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts PLDI 2014
- Reactive Control Improvisation CAV 2018
- Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022
- Interpreting Knowledge-based Programs ESOP 2023
- A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players GPCE 2022
- Safe functional reactive programming through dependent types ICFP 2009
- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers CAV 2019