Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
No abstract available.
Related papers
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Directed Reachability for Infinite-State Systems TACAS 2021
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Component-based synthesis for complex APIs POPL 2017
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- Incremental, Inductive Coverability CAV 2013
- Digging for fold: synthesis-aided API discovery for Haskell OOPSLA 2020