RATSY - A New Requirements Analysis Tool with Synthesis
No abstract available.
Related papers
- Hamsaz: replication coordination analysis and synthesis POPL 2019
- Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA PPoPP 2012
- MapReduce program synthesis PLDI 2016
- Directed Reachability for Infinite-State Systems TACAS 2021
- Synthesis with Asymptotic Resource Bounds CAV 2021
- On fast large-scale program analysis in Datalog CC 2016
- Information Flow Guided Synthesis with Unbounded Communication CAV 2024
- UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis CAV 2022