HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Oliver Markgraf
he/him
- Kaiserslautern, Germany
- University of Kaiserslautern-Landau
- Google Scholar
- ORCID
- GitHub
- dblp